diff options
author | hp <hp@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-11-20 10:49:16 +0000 |
---|---|---|
committer | hp <hp@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-11-20 10:49:16 +0000 |
commit | b33f46b59edc88be98c54e07e62ea4be08c4406d (patch) | |
tree | 4e6a13087b6920c7ea4e8e69967c0a4526840889 /contrib/gcc_update | |
parent | 46cdcb2b1e0a37c0479e08ccc784b1ca461de08c (diff) | |
download | gcc-b33f46b59edc88be98c54e07e62ea4be08c4406d.tar.gz |
* gcc_update (touch_files): Don't rely on "make" being GNU make;
grep for "Touching" to determine that the rule executes.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@90961 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'contrib/gcc_update')
-rwxr-xr-x | contrib/gcc_update | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/contrib/gcc_update b/contrib/gcc_update index 9b39ae2989f..7e0e837e1af 100755 --- a/contrib/gcc_update +++ b/contrib/gcc_update @@ -129,12 +129,15 @@ touch_files () { echo ' touch $@' >> Makefile.$$ files_and_dependencies | sed 's,[^ ]* ,,;s,$, :,' >> Makefile.$$ - # We need to explicitly shut off the "Entering... Leaving..." + # We would have to explicitly shut off the "Entering... Leaving..." # messages through "--no-print-directory" to handle the case when # we were called from a recursive invocation (i.e. "$(MAKE)" in a # Makefile, not just make). Passing only "-s" doesn't help then, # because make has helpfully added "-w" to MAKEFLAGS automatically. - while ${MAKE-make} -s --no-print-directory -f Makefile.$$ all | grep . > /dev/null; do + # Unfortunately we do not require GNU make other than for building + # and testing, so let's just grep known text explicitly echoed by + # the rule. + while ${MAKE-make} -s -f Makefile.$$ all | grep Touching > /dev/null; do sleep 1 done 2>&1 rm -f Makefile.$$ |