diff --git a/ChangeLog b/ChangeLog index 45a264a274..6afeb323c6 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2003-11-17 Derek Atkins + + * Makefile.DEPS: change timeout from 60 to 5 seconds. Fixes #120207 + 2003-11-17 Chris Lyttle * configure.in: Release 1.8.8 diff --git a/Makefile.DEPS b/Makefile.DEPS index 505d682c84..e8ea5fd009 100644 --- a/Makefile.DEPS +++ b/Makefile.DEPS @@ -82,7 +82,7 @@ donotuseme: ; @echo "*************************************************************" @if test x$(PAUSE) = xtrue; then \ echo -n "Pausing" ; \ - i=0; while test $$i -lt 60; do \ + i=0; while test $$i -lt 5; do \ echo -n . ; \ sleep 1 ; \ let "i=$$i+1" ; \