From fa97b8ac234c34618d8dca4329bc13e8454b47b4 Mon Sep 17 00:00:00 2001 From: Matúš Kukan Date: Fri, 9 Mar 2012 11:21:39 +0100 Subject: Do not remove the whole workdir/* on 'make clean' Also solver/$INPATH is subset of */$INPATH. --- Makefile | 2 -- 1 file changed, 2 deletions(-) diff --git a/Makefile b/Makefile index 84d8c4625d5a..df5b638a1d26 100644 --- a/Makefile +++ b/Makefile @@ -300,8 +300,6 @@ clean: clean-host clean-build clean-host: rm -fr $(SRCDIR)/*/$(INPATH) - rm -fr $(SRCDIR)/workdir/* - rm -fr $(SRCDIR)/solver/$(INPATH) rm -fr install clean-build: -- cgit