From 67eafee21527f29a9b26fd1a7c518e0b49c24bf5 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 6 Feb 2004 17:11:59 +0000 Subject: [PATCH] use ledit for debugging --- helm/gTopLevel/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/gTopLevel/Makefile b/helm/gTopLevel/Makefile index 3175bbea7..4017367da 100644 --- a/helm/gTopLevel/Makefile +++ b/helm/gTopLevel/Makefile @@ -133,7 +133,7 @@ debug: echo "install_printer CicMetaSubst.fppsubst" >> .debug_script echo "install_printer CicMetaSubst.fppterm" >> .debug_script echo "install_printer CicMetaSubst.fppmetasenv" >> .debug_script - $(OCAMLDEBUG) \ + ledit $(OCAMLDEBUG) \ -source .debug_script \ $(shell $(OCAMLFIND) query -recursive -i-format $(REQUIRES)) \ $(MAIN) $(ARGS) -- 2.39.2