diff options
| author | Lukas Fleischer <archlinux@cryptocrack.de> | 2011-12-02 10:07:57 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2011-12-04 18:01:51 +0100 |
| commit | bfd2862bc45179c7e1ae8da489ca864900bda74c (patch) | |
| tree | 76c66082ca60beeae4a5f9d95648b7a4206c6c9d | |
| parent | 56d4dec19fbcec23f677114e4104bb9df902ed9f (diff) | |
| download | devtools32-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-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 "$@" |