More debugging

run-script.sh

@@ -227,13 +227,15 @@ else
     args+=("${ABS_FILE}" "${BUG_FILE}" "${TMP_FILE}" --error-log="${BUILD_LOG}")
 fi
 args+=(--no-deps --ignore-coq-prog-args --inline-user-contrib --coqc="${FAILING_COQC}" --coqtop="${FAILING_COQTOP}" --coq_makefile="${PASSING_COQ_MAKEFILE}" --coqdep "${PASSING_COQDEP}" --base-dir="${CI_BASE_BUILD_DIR}/coq-failing/_build_ci/" -Q "${BUG_TMP_DIR}" Top --verbose-include-failure-warning --verbose-include-failure-warning-prefix "::warning::" --verbose-include-failure-warning-newline "%0A")
+printf 'appending failing args: %q\n' "${FAILING_ARGS}"
 while IFS= read -r line; do
     args+=("$line")
 done <<< "${FAILING_ARGS}"
 if [ "${PASSING_COQC}" != "${FAILING_COQC}" ]; then
     # are running with two versions
     mkdir -p "${CI_BASE_BUILD_DIR}/coq-passing/_build_ci/"
     args+=(--passing-coqc="${PASSING_COQC}" --passing-coqtop="${PASSING_COQTOP}" --passing-base-dir="${CI_BASE_BUILD_DIR}/coq-passing/_build_ci/")
+    printf 'appending passing args: %q\n' "${PASSING_ARGS}"
     while IFS= read -r line; do
         args+=("$line")
     done <<< "${PASSING_ARGS}"