diff options
| author | Josh Triplett <josh@freedesktop.org> | 2007-07-22 20:52:49 -0700 |
|---|---|---|
| committer | Josh Triplett <josh@freedesktop.org> | 2007-07-22 20:52:49 -0700 |
| commit | 86eb97a3c2df4026afba11a677042326848bbe78 (patch) | |
| tree | 0581a1b89617d1c91b4e60e6fd8de3e920915be9 /Makefile | |
| parent | 2a4167db75743084094394cc8ccb85853a557c4d (diff) | |
| download | sparse-dev-86eb97a3c2df4026afba11a677042326848bbe78.tar.gz | |
Makefile: stop cleaning files we didn't make and have no business cleaning
Signed-off-by: Josh Triplett <josh@freedesktop.org>
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -175,7 +175,7 @@ pre-process.h: $(QUIET_CC)$(CC) -o $@ -c $(CFLAGS) $< clean: clean-check - rm -f *.[oasi] core core.[0-9]* $(PROGRAMS) $(SLIB_FILE) pre-process.h sparse.pc + rm -f *.[oa] $(PROGRAMS) $(SLIB_FILE) pre-process.h sparse.pc dist: @if test "`git describe`" != "$(VERSION)" ; then \ |
