diff options
| author | Max <mparisi@stevens.edu> | 2020-09-30 11:06:30 -0400 |
|---|---|---|
| committer | Max <mparisi@stevens.edu> | 2020-09-30 11:06:30 -0400 |
| commit | fa4ee0a512a03120599bd41ccb2987a93fb4224d (patch) | |
| tree | 763ba0cc81604761870db7eeb0e6c06137969949 /tools | |
| parent | 89d7e06a792a5859b3d284257612820feb2980a2 (diff) | |
add '*' escape sequence to postprocess.py, and split the rest of MetroTRK/
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): |