diff options
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): |