diff options
| author | Jim Blandy <jimb@redhat.com> | 1993-05-29 19:38:45 +0000 |
|---|---|---|
| committer | Jim Blandy <jimb@redhat.com> | 1993-05-29 19:38:45 +0000 |
| commit | 3da38b205a9af448f0bcfa38be405a43bb0553f5 (patch) | |
| tree | fff6065c4603f81e9a0f7c4420876bd9f53a563a /make-dist | |
| parent | f8f9587b96ebd8c9364f91ee5cfe6bb045c555e9 (diff) | |
| download | emacs-3da38b205a9af448f0bcfa38be405a43bb0553f5.tar.gz | |
* make-dist: Rebuild configure if configure.in is newer.
Diffstat (limited to 'make-dist')
| -rwxr-xr-x | make-dist | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/make-dist b/make-dist index e671cc0964c..7742f6afcc1 100755 --- a/make-dist +++ b/make-dist @@ -97,6 +97,13 @@ if [ "${bogosities}" != "" ]; then 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}" |