Fix handling of COQPATH

Should deal with #25 (comment)
coq-community · Nov 1, 2023 · a3d4de4 · a3d4de4
1 parent a737876
commit a3d4de4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/run-script.sh b/run-script.sh
@@ -140,11 +140,11 @@ function coqpath_to_args() {
     cd "$1"
     local IFS=:
     for i in $2; do
-        printf "-I\n"
+        printf "%s\n" "-I"
         (cd "$i" && pwd)
         while IFS= read -r subdir; do
             if [ -d "$i/$subdir" ]; then
-                printf "-Q\n"
+                printf "%s\n" "-Q"
                 (cd "$i/$subdir" && pwd)
                 printf "%s\n" "$subdir"
             fi