diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2022-11-30 13:06:47 +0100 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2022-12-12 13:35:39 +0100 |
| commit | 028915447e6bbe25a3ac55b38a2811231374bab1 (patch) | |
| tree | 8f007b8f93a95b643f2b263a368ee8c1f2030fb0 /bin | |
| parent | 3d29363373bf079c4cdcff0f880b320cfe76f870 (diff) | |
| download | justbuild-028915447e6bbe25a3ac55b38a2811231374bab1.tar.gz | |
Just-mr: Fix handling and meaning of --just option
The value of --just option should be used as-is,
as it might be a var in PATH. The `execvp` call will handle this.
The Python script and man page have been updated accrodingly.
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/just-mr.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/just-mr.py b/bin/just-mr.py index 3bc67b2a..e4671d2c 100755 --- a/bin/just-mr.py +++ b/bin/just-mr.py @@ -1043,7 +1043,7 @@ def main(): global JUST if options.just: - JUST = os.path.abspath(options.just) + JUST = options.just global ALWAYS_FILE ALWAYS_FILE = options.always_file |