diff options
| -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 145cbde..235a0fd 100755 --- a/Tools/scripts/addport +++ b/Tools/scripts/addport @@ -39,7 +39,7 @@ if( !defined $ENV{"CVS_RSH"} ) { $ENV{CVS_RSH} = "ssh"; } my $make = "make"; -my $portlint = "portlint -N -a -c"; +my $portlint = "portlint -N -a -c -t"; my $perl = "perl"; my $cp = "cp"; my $mv = "mv"; |
