From 56fb922ae41072448e239fa76eb9a4994ff4ca06 Mon Sep 17 00:00:00 2001 From: Pascal Rigaux Date: Mon, 15 Dec 2003 14:42:41 +0000 Subject: have a special debugging build (esp. to disable closing pipe which disallow debugging back in time) --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 35d224b..eabff8b 100644 --- a/Makefile +++ b/Makefile @@ -21,7 +21,7 @@ MDK/Common.pm: %: %.pl perl $< > $@ perl_checker.src/perl_checker: - $(MAKE) -C perl_checker.src build_ml $(PERL_CHECKER_TARGET) VENDORLIB=$(VENDORLIB) + $(MAKE) -C perl_checker.src build_ml $(PERL_CHECKER_TARGET) VENDORLIB=$(VENDORLIB) DEBUG=0 test: perl_checker.src/perl_checker perl_checker.src/perl_checker MDK/Common/*.pm -- cgit v1.2.1