diff options
Diffstat (limited to 'scripts/strip_local_names.py')
| -rw-r--r-- | scripts/strip_local_names.py | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/scripts/strip_local_names.py b/scripts/strip_local_names.py new file mode 100644 index 000000000..d617766bc --- /dev/null +++ b/scripts/strip_local_names.py @@ -0,0 +1,13 @@ + +''' +Removes local names. When you don't care about local names but do want +to diff for structural changes, this can help. +''' + +import sys + +for line in open(sys.argv[1]).readlines(): + if '(tee_local ' in line or '(set_local ' in line or '(get_local ' in line: + print line[:line.find('$')] + else: + print line, |