diff --git a/.make-clean-stamp b/.make-clean-stamp index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..d00491fd7e5bb6fa28c517a0bb32b8b506539d4d 100644 --- a/.make-clean-stamp +++ b/.make-clean-stamp @@ -0,0 +1 @@ +1 diff --git a/Makefile.in b/Makefile.in index d86d46f5ef7f0fcb8486d9ab7a665cdfda354eb4..b11be3640b174b3a6915ca80255ab19f9bb161e5 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