fix llvm-kompile-testing script to pass flag to llvm-kompile instaed …

…of clang
runtimeverification · Sep 17, 2024 · e060166 · e060166
1 parent 7fcf8db
commit e060166
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bin/llvm-kompile-testing b/bin/llvm-kompile-testing
@@ -41,4 +41,4 @@ while [ $# -gt 0 ]; do
   shift
 done
 
-llvm-kompile "$definition" "$dt_dir" "$mode" "${llvm_kompile_flags[@]}" "${clang_flags[@]}" -g --verify-ir
+llvm-kompile "$definition" "$dt_dir" "$mode" "${llvm_kompile_flags[@]}" --verify-ir "${clang_flags[@]}" -g