diff options
Diffstat (limited to 'devtools/check-symbol-change.sh')
| -rwxr-xr-x | devtools/check-symbol-change.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devtools/check-symbol-change.sh b/devtools/check-symbol-change.sh index 1d21e916..8f986a5d 100755 --- a/devtools/check-symbol-change.sh +++ b/devtools/check-symbol-change.sh @@ -31,6 +31,7 @@ build_map_changes() # Triggering this rule sets in_sec to 1, which actives the # symbol rule below /^.*{/ { + gsub("+", ""); if (in_map == 1) { sec=$(NF-1); in_sec=1; } |