diff options
| author |   Luca Boccassi <luca.boccassi@gmail.com> | 2018-11-19 12:59:01 +0000 |
|---|---|---|
| committer | Luca Boccassi <luca.boccassi@gmail.com> | 2018-11-19 12:59:24 +0000 |
| commit | 29058550643267a554e0368806dece63b047c5cb (patch) | |
| tree | a6f573fe3fbc14585529b83cfcc65da2dceefbf5 /devtools | |
| parent | 8a853e3f0275efc8b05cb195085d45946942744a (diff) | |
New upstream version 18.11-rc4upstream/18.11-rc4
Change-Id: I861e1a2f7df210f57f44f1ad56b9ef789a4675e3
Signed-off-by: Luca Boccassi <luca.boccassi@gmail.com>
Diffstat (limited to 'devtools')
| -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 |