diff --git a/util/cron/test-docker.bash b/util/cron/test-docker.bash index f1e02b2e83a0..27395596f00b 100755 --- a/util/cron/test-docker.bash +++ b/util/cron/test-docker.bash @@ -18,7 +18,7 @@ local imageName="$1" local script="$2" # Remove any existing image with the tag before building docker image docker image rm --force $imageName -docker build . -t $imageName +docker build --load . -t $imageName containerid= docker image ls | grep $imageName | awk '{print$3}' cd ${CHPL_HOME}/util/cron echo 'writeln("Hello, world!");' > hello.chpl