From 0407af0e4dc3a6ec9d0a4a7f536878743f00242c Mon Sep 17 00:00:00 2001 From: Paulo Matos Date: Fri, 8 Mar 2019 10:32:36 +0100 Subject: [PATCH] Fix location of chroot file --- .gitlab/build-test.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitlab/build-test.sh b/.gitlab/build-test.sh index 2bf4e48cc5..cca4cdea41 100755 --- a/.gitlab/build-test.sh +++ b/.gitlab/build-test.sh @@ -184,7 +184,7 @@ echo " Make Target : ${MAKE_TARGET}" echo " Debian : ${DEBIAN}" echo " Debian Mirror : ${DEBIAN_MIRROR}" echo "Racket Configure Args : ${RACKET_CONFIGURE_ARGS}" -if [ ! -e "./chroot_is_done" ]; then +if [ ! -e "/.chroot_is_done" ]; then echo " QEMU Arch : ${QEMU_ARCH}" fi