diff make-dist @ 14978:c92fad046dd3

Wed Apr 10 06:08:48 1996 Roland McGrath <roland@charlie-brown.gnu.ai.mit.edu> * make-dist: Exit if autoconf fails.
author Roland McGrath <roland@gnu.org>
date Wed, 10 Apr 1996 10:09:16 +0000
parents 3193e54cf56d
children 0588af7eae96
line wrap: on
line diff
--- a/make-dist	Wed Apr 10 05:39:50 1996 +0000
+++ b/make-dist	Wed Apr 10 10:09:16 1996 +0000
@@ -133,7 +133,7 @@
 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.