This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: gcc_update bug
- To: mark at codesourcery dot com
- Subject: Re: gcc_update bug
- From: Hans-Peter Nilsson <hans-peter dot nilsson at axis dot com>
- Date: Tue, 15 May 2001 19:51:21 +0200
- CC: gcc at gcc dot gnu dot org, aoliva at cygnus dot com
> From: Mark Mitchell <mark@codesourcery.com>
> Date: Sun, 13 May 2001 18:19:34 -0700
> One fix is to touch all the files, unconditionally, with a one second
> wait between them. That will take a while, but it will be correct. I
> implemented that and it's not very painful to wait through.
>
> Using `make' would be another option, possibly via a little here
> document in gcc_update.
>
> I'm not sure what other solutions might be possible.
I don't recall seeing it mentioned, so on the off-chance that it
would make sense: wouldn't "cat /dev/null >> file_to_touch" do
TRT as a touch-replacement that doesn't change the file? If it
does, it might make up for the seconds it took to read this. :-)
Cheers. It's just one more hill. ;-)
brgds, H-P