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 | a49eb675f7127b399875bd07b5516b205f32cb97 (patch) | |
| tree | 41550200cbc1fb4fc9c91c28094115cb8b7c2d55 /make-dist | |
| parent | 9dfcf5a509f614897d704d730ff8742d8b9c96a1 (diff) | |
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" |