From b148c5734214d9310b69ae599c4c1f163c11ff85 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Wed, 18 Jul 2018 16:59:00 +0200 Subject: [PATCH] Makfile: call clean_ext from clea_all For clean_all, we also want to clean the external library stuff (lpsolve, ...). Reported by Christian Hensel. --- prism/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/Makefile b/prism/Makefile index c49215bb..f40cb1dd 100644 --- a/prism/Makefile +++ b/prism/Makefile @@ -559,7 +559,7 @@ clean: checks celan: clean -clean_all: checks clean_cudd clean +clean_all: checks clean_cudd clean_ext clean clean_cudd: @(cd $(CUDD_DIR) && $(MAKE) distclean)