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 --- Makefile | 1 + 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/Makefile b/Makefile index cbc7402..d9cc82a 100644 --- a/Makefile +++ b/Makefile @@ -54,6 +54,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 "$@"