Use pwd in reportify-coq to fix build in submodules

JasonGross · Mar 22, 2024 · 0698071 · 0698071
1 parent 50d02e4
commit 0698071
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/etc/ci/github-actions-make.sh b/etc/ci/github-actions-make.sh
@@ -21,7 +21,7 @@ if [ "$1" == "--warnings" ]; then
     shift
 fi
 if [ ! -z "${reportify}" ]; then
-    reportify="COQC=etc/coq-scripts/github/reportify-coq.sh${reportify} ${COQBIN}coqc"
+    reportify="COQC=$(pwd)/etc/coq-scripts/github/reportify-coq.sh${reportify} ${COQBIN}coqc"
 fi
 
 make_one_time_file_real=""