diff options
Diffstat (limited to 'Tools')
| -rwxr-xr-x | Tools/scripts/addport | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Tools/scripts/addport b/Tools/scripts/addport index 6a18f40beab8..377953c28a9a 100755 --- a/Tools/scripts/addport +++ b/Tools/scripts/addport @@ -182,6 +182,7 @@ foreach my $thisdir (@dirs) { $portname = `basename $thisdir`; # avoid problems with dirs containing `/' in cvs chomp $portname; + warnx("Port directory contains upper-case character! Please try using an all lower-case name to make everybody's life a bit easier.") if ($portname =~ /[A-Z]/); if ($interactive) { if (prompt("Port directory name will be $portname in CVS Repo. OK? ")) { do { |