diff options
| author | Max <34987259+mparisi20@users.noreply.github.com> | 2020-09-30 11:11:34 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-30 11:11:34 -0400 |
| commit | 657b04e3b40680fa96de914c2c690b460a18d05e (patch) | |
| tree | 763ba0cc81604761870db7eeb0e6c06137969949 /tools | |
| parent | 89d7e06a792a5859b3d284257612820feb2980a2 (diff) | |
| parent | fa4ee0a512a03120599bd41ccb2987a93fb4224d (diff) | |
Merge pull request #109 from mparisi20/master
split the rest of MetroTRK, and add '*' escape sequence to postprocess.py
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/postprocess/postprocess.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/postprocess/postprocess.py b/tools/postprocess/postprocess.py index c45ec16..3c757e4 100644 --- a/tools/postprocess/postprocess.py +++ b/tools/postprocess/postprocess.py @@ -22,6 +22,7 @@ BANNER = """ # 3: \\ # 4: , # 5: - +# 6: * # # This option is enabled with -fsymbol-fixup, and disabled by default with -fno-symbol-fixup # @@ -39,7 +40,8 @@ substitutions = ( ('@', '$2'), ('\\', '$3'), (',', '$4'), - ('-', '$5') + ('-', '$5'), + ('*', '$6') ) def format(symbol): |