PATCH: contrib/gcc_update

[Gerald Pfeifer]

I installed the following patch which provides a bit more information
about the update of time-stamps. This was helpful in debugging a problem
with time-stamps and will ring an alert whenever a user posts her output
in case of problems.

Gerald

2000-09-27  Gerald Pfeifer  <pfeifer@dbai.tuwien.ac.at>
 
 	* gcc_update (touch_files): Add some informative output.
 	
Index: gcc_update
===================================================================
RCS file: /cvs/gcc/egcs/contrib/gcc_update,v
retrieving revision 1.14
diff -c -3 -p -r1.14 gcc_update
*** gcc_update	2000/09/16 12:14:12	1.14
--- gcc_update	2000/09/28 11:23:21
*************** touch_files () {
*** 97,104 ****
  	    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
  		sleep 1
  		touch $f
  	    fi
  	fi
--- 97,105 ----
  	    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.
  		sleep 1
+ 		echo Touching "$f" once more...
  		touch $f
  	    fi
  	fi