diff options
Diffstat (limited to 'devtools/check-symbol-change.sh')
| -rwxr-xr-x | devtools/check-symbol-change.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/devtools/check-symbol-change.sh b/devtools/check-symbol-change.sh index c0d2a6da..1d21e916 100755 --- a/devtools/check-symbol-change.sh +++ b/devtools/check-symbol-change.sh @@ -23,7 +23,7 @@ build_map_changes() # does not end in 'map', indicating we have left the map chunk. # When we hit this, turn off the in_map variable, which # supresses the subordonate rules below - /[-+] a\/.*\.^(map)/ {in_map=0} + /[-+] a\/.*\.[^map]/ {in_map=0} # Triggering this rule, which starts a line and ends it # with a { identifies a versioned section. The section name is @@ -153,7 +153,6 @@ clean_and_exit_on_sig() build_map_changes "$patch" "$mapfile" check_for_rule_violations "$mapfile" exit_code=$? - rm -f "$mapfile" exit $exit_code |