aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/Makefile
diff options
authorJosh Triplett <josh@freedesktop.org>2007-07-22 20:52:49 -0700
committerJosh Triplett <josh@freedesktop.org>2007-07-22 20:52:49 -0700
commit86eb97a3c2df4026afba11a677042326848bbe78 (patch)
tree0581a1b89617d1c91b4e60e6fd8de3e920915be9 /Makefile
parent2a4167db75743084094394cc8ccb85853a557c4d (diff)
downloadsparse-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--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 7e754b9b..478e151d 100644
--- a/Makefile
+++ b/Makefile
@@ -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 \