To prevent validation/tmp.o being still around after
make check && make clean
remove it as part of the latter command.
---
Makefile | 1 +
1 file changed, 1 insertion(+)
diff --git a/Makefile b/Makefile
index c7031afda00b..69e758da2fbf 100644
--- a/Makefile
+++ b/Makefile
@@ -218,4 +218,5 @@ clean-check:
-o -name "*.c.error.expected" \
-o -name "*.c.error.got" \
-o -name "*.c.error.diff" \
+ -o -name "*.o" \
\) -exec rm {} \;
--
2.1.4
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
