diff --git a/contrib/docker/build.sh b/contrib/docker/build.sh index 40e12e096..833ce66d4 100755 --- a/contrib/docker/build.sh +++ b/contrib/docker/build.sh @@ -1,6 +1,6 @@ #!/bin/bash -[[ -z `echo $PWD | grep jenkins_home ]] && BASE_DIR=$(dirname $(realpath $0 )) || BASE_DIR="~/jenkins" +[[ -z `echo $PWD | grep jenkins_home` ]] && BASE_DIR=$(dirname $(realpath $0 )) || BASE_DIR="~/jenkins" Alist="\n \t \t \t \t aarch64-linux-gnu \t (eg. Raspi4 with Ubuntu) \n \t \t \t \t arm-linux-gnueabihf \t (eg. Other Raspi) \n