a

leanprover · Sep 4, 2024 · ad92c0b · ad92c0b
1 parent f14a321
commit ad92c0b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/script/prepare-llvm-linux.sh b/script/prepare-llvm-linux.sh
@@ -67,4 +67,4 @@ echo -n " -DLEANC_INTERNAL_LINKER_FLAGS='-L ROOT/lib -L ROOT/lib/glibc ROOT/lib/
 echo -n " -DLEAN_EXTRA_LINKER_FLAGS='-Wl,--as-needed -lgmp -luv -lpthread -ldl -lrt -Wl,--no-as-needed'"
 # do not set `LEAN_CC` for tests
 echo -n " -DLEAN_TEST_VARS=''"
-echo -n " -v
+echo -n " -v"