Commit bfd2862b authored by Lukas Fleischer's avatar Lukas Fleischer Committed by Pierre Schmitz
Browse files

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: default avatarLukas Fleischer <archlinux@cryptocrack.de>
Signed-off-by: default avatarPierre Schmitz <pierre@archlinux.de>
parent 56d4dec1

Makefile

+1 −0
Original line number Diff line number Diff line
@@ -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 "$@"