diff options
author | Matúš Kukan <matus.kukan@gmail.com> | 2012-03-09 11:21:39 +0100 |
---|---|---|
committer | Matúš Kukan <matus.kukan@gmail.com> | 2012-03-09 11:21:39 +0100 |
commit | fa97b8ac234c34618d8dca4329bc13e8454b47b4 (patch) | |
tree | 60fc522840274e604b0017d026fda891f6833293 /Makefile | |
parent | remove unused Makefile (diff) | |
download | core-fa97b8ac234c34618d8dca4329bc13e8454b47b4.tar.gz core-fa97b8ac234c34618d8dca4329bc13e8454b47b4.zip |
Do not remove the whole workdir/* on 'make clean'
Also solver/$INPATH is subset of */$INPATH.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -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: |