diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2012-01-31 14:11:57 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2012-01-31 14:11:57 -0800 |
| commit | 2761fe8d19002c94aa25d92246fc9968ba7c2cac (patch) | |
| tree | d2c4eb386d071f96330ce5de55ed79c815734efd /third_party/demangler.py | |
| parent | ab7dacbf6278ad1cbe1633231d1c04abaa80b702 (diff) | |
| parent | d48cba10976ff7665fb39768ca251c8f08e1bbe8 (diff) | |
Merge pull request #198 from ehsan/import_shared_properly
Import shared.py properly
Diffstat (limited to 'third_party/demangler.py')
| -rw-r--r-- | third_party/demangler.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/third_party/demangler.py b/third_party/demangler.py index d875d9a5..1066643b 100644 --- a/third_party/demangler.py +++ b/third_party/demangler.py @@ -21,10 +21,11 @@ JS_ENGINE_PARAMS=[] import os, sys, subprocess, re -__rootpath__ = os.path.abspath(os.path.dirname(__file__)) +__rootpath__ = os.path.dirname(os.path.abspath(__file__)) def path_from_root(*pathelems): return os.path.join(os.path.sep, *(__rootpath__.split(os.sep)[:-1] + list(pathelems))) -exec(open(path_from_root('tools', 'shared.py'), 'r').read()) +sys.path += [path_from_root('')] +from tools.shared import * data = open(sys.argv[1], 'r').readlines() |