comparison 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
comparison
equal deleted inserted replaced
14977:2910a512c515 14978:c92fad046dd3
131 131
132 ### Make sure configure is newer than configure.in. 132 ### Make sure configure is newer than configure.in.
133 if [ "x`ls -t configure configure.in | head -1`" != "xconfigure" ]; then 133 if [ "x`ls -t configure configure.in | head -1`" != "xconfigure" ]; then
134 echo "\`./configure.in' is newer than \`./configure'" >&2 134 echo "\`./configure.in' is newer than \`./configure'" >&2
135 echo "Running autoconf" >&2 135 echo "Running autoconf" >&2
136 autoconf 136 autoconf || { x=$?; echo Autoconf FAILED! >&2; exit $x; }
137 fi 137 fi
138 138
139 ### Update getdate.c. 139 ### Update getdate.c.
140 (cd lib-src; make -f Makefile getdate.c YACC="bison -y") 140 (cd lib-src; make -f Makefile getdate.c YACC="bison -y")
141 141