diff --git a/CVSROOT/commitcheck.pl b/CVSROOT/commitcheck.pl index 9e646b28743..898575151d1 100755 --- a/CVSROOT/commitcheck.pl +++ b/CVSROOT/commitcheck.pl @@ -497,6 +497,7 @@ return ''; +my $read_only_users = ' calbld caminobld ffxbld seabld tbirdbld xrbld '; $debug = 0; @@ -588,6 +589,11 @@ foreach $f (@files) { } } } + + if ($read_only_users =~ m/\s$username\s/o) { + $ok = 0; + } + if (!$ok) { print STDERR "You may not check into partition $fullname{$t}\n"; print STDERR "the file $repository/$f on branch $b\n";