Wed Apr 10 06:08:48 1996 Roland McGrath <roland@charlie-brown.gnu.ai.mit.edu>

	* make-dist: Exit if autoconf fails.

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.