From be3568d176d7366526b82ad9d060d03b2645f85f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Fri, 25 Mar 2011 23:17:27 +0000 Subject: [PATCH] fix make clean. --- Makefile.in | 1 - 1 file changed, 1 deletion(-) diff --git a/Makefile.in b/Makefile.in index 3fea651e2..445ace66f 100755 --- a/Makefile.in +++ b/Makefile.in @@ -851,7 +851,6 @@ clean: clean_docs @INSTALL_YAPR@ (cd packages/YapR; $(MAKE) clean) @USE_MINISAT@ (cd packages/swi-minisat2; $(MAKE) clean) @USE_MINISAT@ (cd packages/CLPBN/clpbn/bp; $(MAKE) clean) - @INSTALL_DLLS@ (cd packages/tai/libtai; $(MAKE) clean) @INSTALL_DLLS@ (cd packages/zlib; $(MAKE) clean) @ENABLE_CPLINT@ (cd packages/cplint/approx/simplecuddLPADs; $(MAKE) clean) @ENABLE_CPLINT@ (cd packages/cplint; $(MAKE) clean)