diff options
Diffstat (limited to 'contrib/gcc_update')
| -rwxr-xr-x | contrib/gcc_update | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/gcc_update b/contrib/gcc_update index e3486e3e957..06a7852155c 100755 --- a/contrib/gcc_update +++ b/contrib/gcc_update @@ -123,7 +123,7 @@ touch_files () { echo ' echo Touching $@... 1>&2; \' >> Makefile.$$ echo ' touch $@' >> Makefile.$$ files_and_dependencies | sed 's,[^ ]* ,,;s,$, :,' >> Makefile.$$ - while ${MAKE-make} -f Makefile.$$ all | grep . > /dev/null; do + while ${MAKE-make} -s -f Makefile.$$ all | grep . > /dev/null; do sleep 1 done 2>&1 rm -f Makefile.$$ |