diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2019-04-09 14:19:25 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2019-04-09 14:19:25 +0200 |
commit | 309cc5958c101df899218074c240383df1b08675 (patch) | |
tree | ea54a920247255b6b364308fdd5eb8ee0928e6e5 /build.sh | |
parent | 2e9d7ab2f80aeeb27c77bc7d7842d838ead1e56b (diff) |
Use 'command -v' instead of 'which' in build script
Diffstat (limited to 'build.sh')
-rwxr-xr-x | build.sh | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -314,8 +314,8 @@ config.install.sudo="$conf_sudo" run build2/build2/b-boot $verbose $jobs install: build2/ bpkg/ -run which b-stage -run which bpkg-stage +run command -v b-stage +run command -v bpkg-stage run b-stage --version run bpkg-stage --version @@ -340,9 +340,9 @@ run bpkg-stage $verbose $bpkg_fetch_ops fetch run bpkg-stage $verbose $jobs $bpkg_build_ops build --for install --yes --plan= build2 bpkg bdep run bpkg-stage $verbose $jobs install build2 bpkg bdep -run which b -run which bpkg -run which bdep +run command -v b +run command -v bpkg +run command -v bdep run b --version run bpkg --version |