From 8507506fe06c7c223acbbc604aeba667cb80df1e Mon Sep 17 00:00:00 2001 From: Sean OMeara Date: Mon, 20 Mar 2023 12:50:27 +0100 Subject: [PATCH] tweaking --- ci/scripts/build.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/ci/scripts/build.sh b/ci/scripts/build.sh index 12f252802..4bfaccfd0 100755 --- a/ci/scripts/build.sh +++ b/ci/scripts/build.sh @@ -12,8 +12,10 @@ source "$(dirname $0)/lib.sh" if [ -f "ci/Dockerfile-build.${ZT_NAME}" ]; then DOCKERFILE="ci/Dockerfile-build.${ZT_NAME}" + echo "USING DOCKERFILE ${DOCKERFILE}" else DOCKERFILE="ci/Dockerfile-build.${PKGFMT}" + echo "USING DOCKERFILE ${DOCKERFILE}" fi echo "#~~~~~~~~~~~~~~~~~~~~"