Merge PR #8949: Remove checker printers

1 files changed, 8 insertions, 6 deletions

diff --git a/dev/dune-dbg.in b/dev/dune-dbg.in
index 464e026400..3f3df23fe1 100755
--- a/dev/dune-dbg.in
+++ b/dev/dune-dbg.in
@@ -2,10 +2,12 @@
 
 # Run in a proper install dune env.
 case $1 in
-checker)
-  ocamldebug `ocamlfind query -recursive -i-format coq.checker_printers` -I +threads -I dev _build/default/checker/main.bc
-  ;;
-*)
-  ocamldebug `ocamlfind query -recursive -i-format coq.top_printers` -I +threads -I dev _build/default/topbin/coqtop_byte_bin.bc
-  ;;
+    checker)
+        exe=_build/default/checker/main.bc
+        ;;
+    *)
+        exe=_build/default/topbin/coqtop_byte_bin.bc
+        ;;
 esac
+
+ocamldebug $(ocamlfind query -recursive -i-format coq.top_printers) -I +threads -I dev $exe