diff --git a/scripts/build_nim.sh b/scripts/build_nim.sh index 5d0f68bd9..174efca85 100644 --- a/scripts/build_nim.sh +++ b/scripts/build_nim.sh @@ -129,6 +129,8 @@ build_nim() { # working directory pushd "$NIM_DIR" + echo "Running build_nim" + if grep -q skipIntegrityCheck koch.nim; then # Run Nim buildchain . ci/funs.sh