| Index: tools/gcmole/run-gcmole.py
|
| diff --git a/tools/gcmole/run-gcmole.py b/tools/gcmole/run-gcmole.py
|
| index 9f7e2465fdffa0e8bf61c186961551f7a6bc6bba..a1e4f24ab1b3e4ec127d64f818046e1fc07289de 100755
|
| --- a/tools/gcmole/run-gcmole.py
|
| +++ b/tools/gcmole/run-gcmole.py
|
| @@ -12,10 +12,12 @@ CLANG_BIN = os.path.join(GCMOLE_PATH, 'gcmole-tools', 'bin')
|
| CLANG_PLUGINS = os.path.join(GCMOLE_PATH, 'gcmole-tools')
|
| LUA = os.path.join(GCMOLE_PATH, 'gcmole-tools', 'lua52')
|
| DRIVER = os.path.join(GCMOLE_PATH, 'gcmole.lua')
|
| +BASE_PATH = os.path.dirname(os.path.dirname(GCMOLE_PATH))
|
|
|
| assert len(sys.argv) == 2
|
|
|
| sys.exit(subprocess.call(
|
| [LUA, DRIVER, sys.argv[1]],
|
| env={'CLANG_BIN': CLANG_BIN, 'CLANG_PLUGINS': CLANG_PLUGINS},
|
| + cwd=BASE_PATH,
|
| ))
|
|
|