From a3b073de7aaeb4bd98866cd068aed32f7710feba Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 25 Jan 2007 14:04:33 +0000 Subject: [PATCH] Makefile: clean_cudd actually cleans CUDD. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@224 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/Makefile | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/prism/Makefile b/prism/Makefile index d00485fa..aa436dc4 100644 --- a/prism/Makefile +++ b/prism/Makefile @@ -407,9 +407,7 @@ celan: clean clean_all: checks clean_cudd clean clean_cudd: - @(if [ ! -h $(CUDD_DIR) ]; then \ - cd $(CUDD_DIR) && $(MAKE) distclean; \ - fi) + @(cd $(CUDD_DIR) && $(MAKE) distclean) clean_dd: checks @(cd src/dd && $(MAKE) -s SRC_DIR="$(SRC_DIR)" CLASSES_DIR="$(CLASSES_DIR)" OBJ_DIR="$(OBJ_DIR)" LIB_DIR="$(LIB_DIR)" EXE="$(EXE)" LIBPREFIX="$(LIBPREFIX)" LIBSUFFIX="$(LIBSUFFIX)" clean)