From 1608b30e74bf8c712109da886599ad169746e3f4 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Thu, 11 Jan 2024 15:52:55 +0000 Subject: [PATCH] More debugging --- run-script.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/run-script.sh b/run-script.sh index dfa21ce..b50eeb7 100755 --- a/run-script.sh +++ b/run-script.sh @@ -227,6 +227,7 @@ 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}" @@ -234,6 +235,7 @@ 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}"