From bfd2862bc45179c7e1ae8da489ca864900bda74c Mon Sep 17 00:00:00 2001 From: Lukas Fleischer Date: Fri, 2 Dec 2011 10:07:57 +0100 Subject: 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 Signed-off-by: Pierre Schmitz --- Makefile | 1 + 1 file changed, 1 insertion(+) (limited to 'Makefile') 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 "$@" -- cgit v1.2.3-24-g4f1b