1 files changed, 3 insertions, 3 deletions
diff --git a/Configure b/Configure
index ec3f64d..bb80a47 100755
--- a/Configure
+++ b/Configure
@@ -18,7 +18,7 @@
 
 # $Id$
 #
-# Generated on Tue Jun  5 14:21:57 CEST 2018 [metaconfig 3.5-239]
+# Generated on Tue Jun  5 15:23:15 CEST 2018 [metaconfig 3.5-241]
 
 cat >c1$$ <<EOF
 ARGGGHHHH!!!!!
@@ -723,7 +723,7 @@ while test $# -gt 0; do
 	    esac
 	    shift
 	    ;;
-	-V) echo "$me generated by metaconfig 3.5-239." >&2
+	-V) echo "$me generated by metaconfig 3.5-241." >&2
 	    exit 0;;
 	--) break;;
 	-*) echo "$me: unknown option $1" >&2; shift; error=true;;
@@ -4630,7 +4630,7 @@ EOT
 : project-specific code
 file=revision.h
 echo " "
-echo "Generating $file..."
+echo "Generating $file..." >&4
 bin/svn-revision . $file
 
 : add special variables