diff options
| -rwxr-xr-x | make-dist | 7 |
1 files changed, 7 insertions, 0 deletions
| @@ -97,6 +97,13 @@ if [ "${bogosities}" != "" ]; then | |||
| 97 | fi | 97 | fi |
| 98 | rm -f /tmp/el /tmp/elc | 98 | rm -f /tmp/el /tmp/elc |
| 99 | 99 | ||
| 100 | ### Make sure configure is newer than configure.in. | ||
| 101 | if [ "x`ls -t configure configure.in | head -1`" != "xconfigure" ]; then | ||
| 102 | echo "`./configure.in' seems to be newer than `./configure.'" >&2 | ||
| 103 | echo "Attempting to run autoconf." >&2 | ||
| 104 | autoconf | ||
| 105 | fi | ||
| 106 | |||
| 100 | echo "Creating staging directory: \`${tempparent}'" | 107 | echo "Creating staging directory: \`${tempparent}'" |
| 101 | mkdir ${tempparent} | 108 | mkdir ${tempparent} |
| 102 | emacsname="emacs-${version}${new_extension}" | 109 | emacsname="emacs-${version}${new_extension}" |