From d15c4125ed2b351d12ae96e9758de903a2f8306e Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Wed, 12 Dec 2007 13:37:12 +0000
Subject: [PATCH] do make clean

---
 .make-clean-stamp | 1 +
 Makefile.in       | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/.make-clean-stamp b/.make-clean-stamp
index e69de29bb2d..d00491fd7e5 100644
--- a/.make-clean-stamp
+++ b/.make-clean-stamp
@@ -0,0 +1 @@
+1
diff --git a/Makefile.in b/Makefile.in
index d86d46f5ef7..b11be3640b1 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -1449,7 +1449,7 @@ $(PERFCOUNT).c.in:
 	./configure
 
 # If 'make clean' have to be performed after 'cvs update':
-# do 'touch .make-clean-stamp' before 'cvs commit'
+# change '.make-clean-stamp' before 'cvs commit'
 .make-clean: .make-clean-stamp
 	touch $@
 	make clean
-- 
GitLab