diff options
Diffstat (limited to 'Build-tools/Do-compile')
| -rwxr-xr-x | Build-tools/Do-compile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Build-tools/Do-compile b/Build-tools/Do-compile index a4156f6ac98..b41733394ab 100755 --- a/Build-tools/Do-compile +++ b/Build-tools/Do-compile @@ -123,7 +123,9 @@ if ($opt_stage == 0 && ! $opt_use_old_distribution) system("touch timestamp"); sleep(2); system("touch timestamp2"); - system("find . -newer timestamp -print | xargs touch; rm -f timestamp timestamp2"); + system("find . -newer timestamp -print | xargs touch"); + unlink("timestamp"); + unlink("timestamp2"); sleep(2); # Ensure that files we don't want to rebuild are newer than other files safe_cd($ver); |