diff options
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 b0f00f4..ec91061 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 |