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 | ac26f6871061554db77a393cb1886a71b668a580 (diff) | |
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: |