diff --git a/.make-clean-stamp b/.make-clean-stamp
index d00491fd7e5bb6fa28c517a0bb32b8b506539d4d..00750edc07d6415dcc07ae0351e9397b0222b7ba 100644
--- a/.make-clean-stamp
+++ b/.make-clean-stamp
@@ -1 +1 @@
-1
+3
diff --git a/Makefile.in b/Makefile.in
index b11be3640b174b3a6915ca80255ab19f9bb161e5..f0e9e468a6445107dd460303c18cf7e368e9198e 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -1456,6 +1456,10 @@ $(PERFCOUNT).c.in:
 
 include .make-clean
 
+# force "make clean" to be executed for all users of CVS
+force-clean:
+	expr `cat .make-clean-stamp` + 1 > .make-clean-stamp
+
 ############
 # cleaning #
 ############
diff --git a/tests/misc/recol.c b/tests/misc/recol.c
index d1ff4bf2f487fd70051e96c79f4fd57da7d0c1f4..0172eebecaf211769af1f85c38c2ffdbce36e1ce 100644
--- a/tests/misc/recol.c
+++ b/tests/misc/recol.c
@@ -42,7 +42,10 @@ int main(void)
 #ifndef PTEST
   printf("s_int: %d\n", s_int);
 #endif
-
+  /* résultat attendu, avec int 32-bits :
+     little endian : s_int = -833811464
+     big_endian :    s_int = -1480071902
+  */
   return 0;
 }