Debug

coq-tactician · Apr 11, 2024 · aac260c · aac260c
1 parent 6b00bdd
commit aac260c
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
 
-eval $(opam env --switch ${COQ_PLATFORM_SWITCH_NAME}) && tactician inject
+opam exec -- tactician inject
 
 case "$COQ_PLATFORM_PARALLEL" in
     [pP])