Debug

coq-tactician · Apr 11, 2024 · 9643806 · 9643806
1 parent 8da0810
commit 9643806
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/shell_scripts/build.sh b/shell_scripts/build.sh
@@ -36,7 +36,7 @@ ulimit -S -s 65520
 
 if ! $COQ_PLATFORM_TIME opam install coq-core.8.18.0 coq-tactician.1.0~beta2.1+8.18; then dump_opam_logs; fi
 
-tactician inject
+eval $(opam env --set-switch --switch ${COQ_PLATFORM_SWITCH_NAME}) && tactician inject
 
 case "$COQ_PLATFORM_PARALLEL" in
     [pP])