diff options
| author | Jan Holesovsky <kendy@suse.cz> | 2010-10-07 19:15:34 +0200 |
|---|---|---|
| committer | Jan Holesovsky <kendy@suse.cz> | 2010-10-07 19:16:55 +0200 |
| commit | b4e434c80aa7ffd2c65d65587941a0a28cb91470 (patch) | |
| tree | b2fd4a04bc4adbcb76bff92d59328448d83c138b /makefile.rc | |
| parent | 52f80895990f9f6b204a75f916427a98e5c4da26 (diff) | |
Remove also the install/ subdir during make clean.
Diffstat (limited to 'makefile.rc')
| -rw-r--r-- | makefile.rc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/makefile.rc b/makefile.rc index ebe41042d92f..82c5802eea88 100644 --- a/makefile.rc +++ b/makefile.rc @@ -67,6 +67,7 @@ distclean .PHONY: clean clean .PHONY: -rm -rf */$(INPATH) -rm -rf solver/*/$(INPATH) + -rm -rf install .IF "$(BUILD_DMAKE)"!="NO" -echo cleaning up dmake... -$(GNUMAKE) -C dmake clean |