diff options
| -rw-r--r-- | contrib/ChangeLog | 4 | ||||
| -rwxr-xr-x | contrib/gcc_update | 3 |
2 files changed, 6 insertions, 1 deletions
diff --git a/contrib/ChangeLog b/contrib/ChangeLog index e2fefa4..853660f 100644 --- a/contrib/ChangeLog +++ b/contrib/ChangeLog @@ -1,3 +1,7 @@ +2000-09-28 Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at> + + * gcc_update (touch_files): Add some informative output. + 2000-09-16 Andreas Jaeger <aj@suse.de> * gcc_update: Remove gcc/c-parse.gperf. 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 |