diff --git a/scripts/ci.sh b/scripts/ci.sh index 704aa0e..5a56b08 100755 --- a/scripts/ci.sh +++ b/scripts/ci.sh @@ -45,7 +45,7 @@ compile() { mkdir -p "$REPO_ROOT/build" cd "$REPO_ROOT/build" cmake -DCIRCUIT_ASSEMBLY_OUTPUT=TRUE .. - make template + VERBOSE=1 make template cd - check_file_exists "$REPO_ROOT/build/src/template.ll" fi