diff options
author | David Bremner <bremner@debian.org> | 2012-08-02 09:27:26 -0300 |
---|---|---|
committer | David Bremner <bremner@debian.org> | 2012-08-02 21:09:45 -0300 |
commit | 8a745d310f966194e82f12f6453f05cc877379d6 (patch) | |
tree | c2de52fb69179f83e0b621d3fb8eed64d460bddc /Makefile.local | |
parent | 4cedb2a3ea77b61a5d8e9fe56e8585d312ee96ca (diff) |
build system: remove directories created by tests in "make clean"
These extra directories cause problems for building on Debian
twice in a row.
In order to remove directories, we need to us "rm -rf" instead of
"rm -f". So now we should be extra careful what we add to the
variable CLEAN.
Diffstat (limited to 'Makefile.local')
-rw-r--r-- | Makefile.local | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.local b/Makefile.local index 296995d3..6d6896a3 100644 --- a/Makefile.local +++ b/Makefile.local @@ -265,7 +265,7 @@ quiet ?= $($(shell echo $1 | sed -e s'/ .*//')) .PHONY : clean clean: - rm -f $(CLEAN); rm -rf .deps + rm -rf $(CLEAN); rm -rf .deps # We don't (yet) have any distributed files not in the upstream repository. # So distclean is currently identical to clean. |