diff --git a/.gitlab/build-test.sh b/.gitlab/build-test.sh index cf49e40115..c1f5637a05 100755 --- a/.gitlab/build-test.sh +++ b/.gitlab/build-test.sh @@ -25,6 +25,7 @@ function usage () { echo " [--with-configure-args ]" echo " [--enable-cs]" echo " [--with-project-path ]" + echo " [--with-chroot-path ]" exit 1 } @@ -35,6 +36,7 @@ RACKET_CONFIGURE_ARGS= ARCH="$(uname -m)" BUILD_DIR=${CI_PROJECT_PATH} MAKE_TARGET="in-place" +CHROOT_DIR="/tmp/racket-chroot" # Parse options until @@ -70,6 +72,10 @@ until shift BUILD_DIR=$1 ;; + --with-chroot-path) + shift + CHROOT_DIR=$1 + ;; ?*) usage "Unknown argument $1" ;; @@ -83,8 +89,6 @@ done set -eu -CHROOT_DIR=/tmp/racket-chroot - # --------------------------------------------------------------------------------------------------- # Set QEMU ARCH which depends on ARCH