common/autoconf/generated-configure.sh
changeset 15180 ec560ee3d64c
parent 15178 5b28a4d0f57d
child 15182 a86f171d15a1
--- a/common/autoconf/generated-configure.sh	Wed Jan 23 11:41:06 2013 +0100
+++ b/common/autoconf/generated-configure.sh	Wed Jan 23 11:42:29 2013 +0100
@@ -3723,7 +3723,7 @@
 #CUSTOM_AUTOCONF_INCLUDE
 
 # Do not change or remove the following line, it is needed for consistency checks:
-DATE_WHEN_GENERATED=1358937404
+DATE_WHEN_GENERATED=1358937713
 
 ###############################################################################
 #
@@ -10778,7 +10778,8 @@
   as_fn_error $? "Milestone must have a value" "$LINENO" 5
 elif test "x$with_milestone" != x; then
     MILESTONE="$with_milestone"
-else
+fi
+if test "x$MILESTONE" = x; then
   MILESTONE=internal
 fi