diff options
author | Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at> | 2000-09-28 13:24:18 +0200 |
---|---|---|
committer | Gerald Pfeifer <gerald@gcc.gnu.org> | 2000-09-28 11:24:18 +0000 |
commit | 2d89ce6a8e08d438008b745da0d4677cd13500ef (patch) | |
tree | 33a58780a25d152630ea20426f17c2b6899fc1b5 /contrib/gcc_update | |
parent | 2f256f66f0cac881568982284bd7d3cd6a3f5dad (diff) | |
download | gcc-2d89ce6a8e08d438008b745da0d4677cd13500ef.tar.gz |
gcc_update (touch_files): Add some informative output.
From-SVN: r36657
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 |