diff --git a/.make-clean b/.make-clean
new file mode 100644
index 0000000000000000000000000000000000000000..e69de29bb2d1d6434b8b29ae775ad8c2e48c5391
diff --git a/.make-clean-stamp b/.make-clean-stamp
new file mode 100644
index 0000000000000000000000000000000000000000..e69de29bb2d1d6434b8b29ae775ad8c2e48c5391
diff --git a/Makefile.in b/Makefile.in
index 344c9a5250bd334d11757e991e9438b3c53fd280..d86d46f5ef7f0fcb8486d9ab7a665cdfda354eb4 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -1448,6 +1448,14 @@ $(PERFCOUNT).c: $(PERFCOUNT).c.in
 $(PERFCOUNT).c.in:
 	./configure
 
+# If 'make clean' have to be performed after 'cvs update':
+# do 'touch .make-clean-stamp' before 'cvs commit'
+.make-clean: .make-clean-stamp
+	touch $@
+	make clean
+
+include .make-clean
+
 ############
 # cleaning #
 ############