X-Git-Url: https://git.arvados.org/arvados.git/blobdiff_plain/f12986389693d4155847204210d9c84492ac6837..dc29394d6e4df36a1cab5beae69c3331e037bdb1:/docker/mkimage-debootstrap.sh diff --git a/docker/mkimage-debootstrap.sh b/docker/mkimage-debootstrap.sh index 1eefac9479..b4010ef4d6 100755 --- a/docker/mkimage-debootstrap.sh +++ b/docker/mkimage-debootstrap.sh @@ -86,10 +86,12 @@ if [ ! "$repo" ] || [ ! "$suite" ]; then fi # some rudimentary detection for whether we need to "sudo" our docker calls +set +e docker=`which docker.io` if [[ "$docker" == "" ]]; then docker=`which docker` fi +set -e if $docker version > /dev/null 2>&1; then docker="$docker"