diff options
author | Andreas Schwab <schwab@suse.de> | 2002-04-15 13:13:32 +0000 |
---|---|---|
committer | Andreas Schwab <schwab@suse.de> | 2002-04-15 13:13:32 +0000 |
commit | 0d515584b26687784e10b6a70fd85d6032e4ada6 (patch) | |
tree | 6958d2b339cf990269c647c8d87c3c0074d91c1c /make-dist | |
parent | ac1be4b925430234d04866923d85d2e821e291a7 (diff) | |
download | emacs-0d515584b26687784e10b6a70fd85d6032e4ada6.tar.gz |
Run autoheader if necessary.
Diffstat (limited to 'make-dist')
-rwxr-xr-x | make-dist | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/make-dist b/make-dist index 5c993a19cfd..e9c0834afbd 100755 --- a/make-dist +++ b/make-dist @@ -6,7 +6,7 @@ #### be distributed. This means that if you add a file with an odd name, #### you should make sure that this script will include it. -# Copyright (C) 1995, 1997, 1998, 2000, 2001 Free Software Foundation, Inc. +# Copyright (C) 1995, 1997, 1998, 2000, 2001, 2002 Free Software Foundation, Inc. # # This file is part of GNU Emacs. # @@ -237,6 +237,15 @@ if [ "x`ls -t configure configure.in | sed q`" != "xconfigure" ]; then autoconf || { x=$?; echo Autoconf FAILED! >&2; exit $x; } fi +### Make sure src/config-in.stamp is newer than configure.in. +if [ "x`ls -t src/stamp-h.in configure.in | sed q`" != "xsrc/stamp-h.in" ]; then + echo "\`./configure.in' is newer than \`./src/stamp-h.in'" >&2 + echo "Running autoheader" >&2 + autoheader || { x=$?; echo Autoheader FAILED! >&2; exit $x; } + rm -f src/stamp-h.in + echo timestamp > src/stamp-h.in +fi + if [ $update = yes ]; then echo "Updating Info files" |