summaryrefslogtreecommitdiffstats
path: root/.gitignore
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 /.gitignore
parent56d4dec19fbcec23f677114e4104bb9df902ed9f (diff)
downloaddevtools-bfd2862bc45179c7e1ae8da489ca864900bda74c.tar.gz
devtools-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>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions