summaryrefslogtreecommitdiff
path: root/bash_completion.in
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 /bash_completion.in
parent56d4dec19fbcec23f677114e4104bb9df902ed9f (diff)
downloaddevtools32-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 'bash_completion.in')
0 files changed, 0 insertions, 0 deletions