summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--src/util/def-check.pl5
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/) {