diff options
| author | ProjectRevoTPP <projectrevotpp@hotmail.com> | 2020-09-30 11:11:55 -0400 |
|---|---|---|
| committer | ProjectRevoTPP <projectrevotpp@hotmail.com> | 2020-09-30 11:11:55 -0400 |
| commit | 9c0815bae426468323bafa8b4f7a2b6b9f0e41f1 (patch) | |
| tree | 763ba0cc81604761870db7eeb0e6c06137969949 /tools/postprocess/postprocess.py | |
| parent | 7c4be3103501672f96191329ae15d899eb1aae4a (diff) | |
| parent | 657b04e3b40680fa96de914c2c690b460a18d05e (diff) | |
Merge branch 'master' of https://github.com/doldecomp/pokerevo into label_ctors
Diffstat (limited to 'tools/postprocess/postprocess.py')
| -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): |