diff options
Diffstat (limited to 'src/util')
| -rw-r--r-- | src/util/ChangeLog | 5 | ||||
| -rw-r--r-- | src/util/def-check.pl | 9 |
2 files changed, 13 insertions, 1 deletions
diff --git a/src/util/ChangeLog b/src/util/ChangeLog index 4de8fce38..5e792c8ac 100644 --- a/src/util/ChangeLog +++ b/src/util/ChangeLog @@ -1,3 +1,8 @@ +2004-12-21 Tom Yu <tlyu@mit.edu> + + * def-check.pl: Check for PRIVATE or INTERNAL annotations in defs + file. + 2004-10-31 Tom Yu <tlyu@mit.edu> * mkrel: Rework quoting for RELTAIL check. Don't check RELTAIL if diff --git a/src/util/def-check.pl b/src/util/def-check.pl index 9b7aee15e..447421e8e 100644 --- a/src/util/def-check.pl +++ b/src/util/def-check.pl @@ -219,7 +219,9 @@ while (! $d->eof()) { } s/[ \t]*//g; my($xconv); - if (/!CALLCONV/ || /KRB5_CALLCONV_WRONG/) { + if (/PRIVATE/ || /INTERNAL/) { + $xconv = "PRIVATE"; + } elsif (/!CALLCONV/ || /KRB5_CALLCONV_WRONG/) { $xconv = "KRB5_CALLCONV_WRONG"; } elsif ($vararg{$_}) { $xconv = "KRB5_CALLCONV_C"; @@ -227,6 +229,11 @@ while (! $d->eof()) { $xconv = "KRB5_CALLCONV"; } s/;.*$//; + + if ($xconv eq "PRIVATE") { + print "\t private $_\n"; + next LINE2; + } if (!defined($conv{$_})) { print "No calling convention specified for $_!\n"; } elsif (! ($conv{$_} eq $xconv)) { |