aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index d0e616ba..e57934c9 100644
--- a/Makefile
+++ b/Makefile
@@ -216,6 +216,7 @@ clean-check:
@echo " CLEAN"
@find validation/ \( -name "*.c.output.*" \
-o -name "*.c.error.*" \
+ -o -name "*.o" \
\) -exec rm {} \;