[arch-projects] [devtools] [PATCH] Makefile: Remove output files before replacing them
2 Dec
2011
2 Dec
'11
9:07 a.m.
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
4526
Age (days ago)
4526
Last active (days ago)
0 comments
1 participants
participants (1)
-
Lukas Fleischer