# HG changeset patch
# User Jim Blandy <jimb@redhat.com>
# Date 738704325 0
# Node ID 27b7aa2bcf217acb70f71b5ff80784bf3ebfe8e7
# Parent  be4f258fb329db9e9e3fbeb53837d3ccf2a88779
	* make-dist: Rebuild configure if configure.in is newer.

diff -r be4f258fb329 -r 27b7aa2bcf21 make-dist
--- a/make-dist	Sat May 29 19:30:26 1993 +0000
+++ b/make-dist	Sat May 29 19:38:45 1993 +0000
@@ -97,6 +97,13 @@
 fi
 rm -f /tmp/el /tmp/elc
 
+### Make sure configure is newer than configure.in.
+if [ "x`ls -t configure configure.in | head -1`" != "xconfigure" ]; then
+  echo "`./configure.in' seems to be newer than `./configure.'" >&2
+  echo "Attempting to run autoconf." >&2
+  autoconf
+fi
+
 echo "Creating staging directory: \`${tempparent}'"
 mkdir ${tempparent}
 emacsname="emacs-${version}${new_extension}"