summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLukas Fleischer <archlinux@cryptocrack.de>2011-12-02 10:07:57 +0100
committerPierre Schmitz <pierre@archlinux.de>2011-12-04 18:01:51 +0100
commitbfd2862bc45179c7e1ae8da489ca864900bda74c (patch)
tree76c66082ca60beeae4a5f9d95648b7a4206c6c9d
parent56d4dec19fbcec23f677114e4104bb9df902ed9f (diff)
downloaddevtools32-bfd2862bc45179c7e1ae8da489ca864900bda74c.tar.xz
Makefile: Remove output files before replacing them
This one fixes all the "Permission denied" errors we got when invoking make(1) after modifying a source file and removes the need to delete the generated scripts manually. Signed-off-by: Lukas Fleischer <archlinux@cryptocrack.de> Signed-off-by: Pierre Schmitz <pierre@archlinux.de>
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 9c8986f..767988a 100644
--- a/Makefile
+++ b/Makefile
@@ -62,6 +62,7 @@ edit = sed -e "s|@pkgdatadir[@]|$(DESTDIR)$(PREFIX)/share/devtools|g"
%: %.in Makefile lib/common.sh
@echo "GEN $@"
+ @$(RM) "$@"
@m4 -P $@.in | $(edit) >$@
@chmod a-w "$@"
@chmod +x "$@"