diff options
Diffstat (limited to 'Build-tools/Do-compile')
| -rwxr-xr-x | Build-tools/Do-compile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build-tools/Do-compile b/Build-tools/Do-compile index 4cf2477f5bd..8a87d3d2f9d 100755 --- a/Build-tools/Do-compile +++ b/Build-tools/Do-compile @@ -143,7 +143,7 @@ if ($opt_stage <= 1) if ($opt_stage <= 2) { - unlink($opt_distribution) if (!$opt_delete && !$opt_use_old_distribution); + unlink($opt_distribution) if ($opt_delete && !$opt_use_old_distribution); safe_system("$make"); } |