diff options
-rw-r--r-- | src/util/def-check.pl | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/util/def-check.pl b/src/util/def-check.pl index 17327df245..a6dd210f5e 100644 --- a/src/util/def-check.pl +++ b/src/util/def-check.pl @@ -142,6 +142,11 @@ while (! $h->eof()) { s/ *\([^\(\)]*\)//g; goto Striparg; } + # Also strip out attributes, or what's left over of them. + if (/__attribute__/) { + s/[ \t]*__attribute__[ \t]*//g; + goto Striparg; + } # replace return type etc with one token indicating calling convention if (/CALLCONV/) { if (/\bKRB5_CALLCONV_WRONG\b/) { |