diff options
author | Roland McGrath <roland@gnu.org> | 1996-04-10 10:09:16 +0000 |
---|---|---|
committer | Roland McGrath <roland@gnu.org> | 1996-04-10 10:09:16 +0000 |
commit | 28335560c2db1849e97ddab784c906effff802bf (patch) | |
tree | 80e65f12e66b1b4d816c4ab85f55a03245280493 /make-dist | |
parent | d98f0b87e6e06a5c70b57e94e54efbe3570a78be (diff) | |
download | emacs-28335560c2db1849e97ddab784c906effff802bf.tar.gz |
Wed Apr 10 06:08:48 1996 Roland McGrath <roland@charlie-brown.gnu.ai.mit.edu>
* make-dist: Exit if autoconf fails.
Diffstat (limited to 'make-dist')
-rwxr-xr-x | make-dist | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make-dist b/make-dist index 949f6eadd48..401d7462fa4 100755 --- a/make-dist +++ b/make-dist @@ -133,7 +133,7 @@ rm -f /tmp/el /tmp/elc if [ "x`ls -t configure configure.in | head -1`" != "xconfigure" ]; then echo "\`./configure.in' is newer than \`./configure'" >&2 echo "Running autoconf" >&2 - autoconf + autoconf || { x=$?; echo Autoconf FAILED! >&2; exit $x; } fi ### Update getdate.c. |