From a3d4de4a7cc0ece3a70c2b6ed5104a4221a7549c Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Wed, 1 Nov 2023 13:45:16 -0700
Subject: [PATCH] Fix handling of COQPATH

Should deal with https://github.com/coq-community/run-coq-bug-minimizer/issues/25#issuecomment-1788542832
---
 run-script.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/run-script.sh b/run-script.sh
index 22c71fe..c0a87e4 100755
--- 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