diff options
Diffstat (limited to 'Build-tools')
| -rwxr-xr-x | Build-tools/Do-compile | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/Build-tools/Do-compile b/Build-tools/Do-compile index 58bd2e49a38..d262fc82f94 100755 --- a/Build-tools/Do-compile +++ b/Build-tools/Do-compile @@ -118,8 +118,12 @@ if ($opt_stage == 0 && ! $opt_use_old_distribution) safe_system("gunzip < $opt_distribution | $tar xf -"); # Fix file times; This is needed because the time for files may be - # in the future - system("touch timestamp; find . -newer timestamp -print | xargs touch; rm -f timestamp"); + # in the future. The following is done this way to ensure that + # we don't get any errors from xargs touch + system("touch timestamp"); + sleep(2); + system("touch timestamp2"); + system("find . -newer timestamp -print | xargs touch; rm -f timestamp"); sleep(2); # Ensure that files we don't want to rebuild are newer than other files safe_cd($ver); |