diff options
Diffstat (limited to 'Tools')
| -rwxr-xr-x | Tools/scripts/addport | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/scripts/addport b/Tools/scripts/addport index 25b07782661e..af3b4374df41 100755 --- a/Tools/scripts/addport +++ b/Tools/scripts/addport @@ -143,7 +143,7 @@ if ($addlchk && -f $portlint) { $passenv = $passenv . " PORTSDIR=\"$tmpdir\"" if !$nomkdir; push(@commands, "$make $passenv clean check-categories"); push(@commands, "$portlint $plint_args"); - push(@commands, "$make $passenv FETCH_BEFORE_ARGS='-btA' checksum") if !$nofetch; + push(@commands, "$make $passenv FETCH_BEFORE_ARGS='-A' checksum") if !$nofetch; if ($more_testing) { push(@commands, "$make $passenv distclean"); push(@commands, "$make $passenv build"); |