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, |
)) |