summaryrefslogtreecommitdiff
Side-by-side diff
Diffstat (more/less context) (ignore whitespace changes)
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 89c3470..3a6c18d 100644
--- a/Makefile
+++ b/Makefile
@@ -134,2 +134,3 @@ mrproper : clean-configs
find . -name "*.pro"|xargs touch
+ rm stamp-headers