diff options
author | gerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4> | 2000-09-28 11:24:18 +0000 |
---|---|---|
committer | gerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4> | 2000-09-28 11:24:18 +0000 |
commit | a2263aab5abfed40052f0c2dfc26e542fedea6d4 (patch) | |
tree | 33a58780a25d152630ea20426f17c2b6899fc1b5 /contrib/gcc_update | |
parent | a857012ff221c5a6af86fbdb986a2eef4585d99d (diff) | |
download | gcc-a2263aab5abfed40052f0c2dfc26e542fedea6d4.tar.gz |
gcc_update (touch_files): Add some informative output.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@36657 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'contrib/gcc_update')
-rwxr-xr-x | contrib/gcc_update | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/contrib/gcc_update b/contrib/gcc_update index b0f00f469b0..ec91061948e 100755 --- a/contrib/gcc_update +++ b/contrib/gcc_update @@ -97,8 +97,9 @@ touch_files () { touch $f if is_out_of_date "$f" $deps; then # Hmm, it may have got the same timestamp as one of - # its touched dependencies. Wait a second and retry + # its touched dependencies. Wait a second and retry. sleep 1 + echo Touching "$f" once more... touch $f fi fi |