make llvm-kompile-matching script slightly more robust (#4498)

We should be quoting certain variables passed into the script, and we also should not fail the script if the directory that the script creates does not exist.
runtimeverification · Jul 8, 2024 · 8034515 · 8034515
1 parent 9941e87
commit 8034515
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/llvm-backend/src/main/scripts/bin/llvm-kompile-matching b/llvm-backend/src/main/scripts/bin/llvm-kompile-matching
@@ -45,10 +45,10 @@ then
 elif [ $# -lt 4 ];
 then
     fail "ERROR: Not enough arguments!"
-elif [ ! -f $1 ];
+elif [ ! -f "$1" ];
 then
     fail "ERROR: <definition.kore> not a file!"
-elif [ ! -d $3 ];
+elif ! mkdir -p "$3";
 then
     fail "ERROR: <output dir> not a directory!"
 fi