changeset 3258:27b7aa2bcf21

* make-dist: Rebuild configure if configure.in is newer.
author Jim Blandy <jimb@redhat.com>
date Sat, 29 May 1993 19:38:45 +0000
parents be4f258fb329
children de18f95a692c
files make-dist
diffstat 1 files changed, 7 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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}"