diff options
| author | Alberto Sartori <alberto.sartori@huawei.com> | 2022-11-07 11:47:31 +0100 |
|---|---|---|
| committer | Alberto Sartori <alberto.sartori@huawei.com> | 2022-11-07 11:47:31 +0100 |
| commit | 6801f7448905e2c626c194fe3ffe5818b09df51f (patch) | |
| tree | 907cc8324ef1b85a7cb1a683091bb1f35932a781 | |
| parent | 413fcbf3fe7e73559004100f3b0f41efe7f0b8a9 (diff) | |
| download | justbuild-6801f7448905e2c626c194fe3ffe5818b09df51f.tar.gz | |
just-mr: remove leftover
| -rwxr-xr-x | bin/just-mr.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/bin/just-mr.py b/bin/just-mr.py index c641426c..def75a4b 100755 --- a/bin/just-mr.py +++ b/bin/just-mr.py @@ -43,7 +43,6 @@ GIT_CHECKOUT_LOCATIONS = {} TAKE_OVER = [ "bindings", "target_file_name", - "index_file_name", "rule_file_name", "expression_file_name", ] @@ -51,7 +50,6 @@ ALT_DIRS = [ "target_root", "rule_root", "expression_root", - "index_root", ] GIT_NOBODY_ENV = { |