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 /zsh_completion.in | |
| 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>
Diffstat (limited to 'zsh_completion.in')
0 files changed, 0 insertions, 0 deletions