summaryrefslogtreecommitdiff
path: root/shell
diff options
context:
space:
mode:
authorKlaus Aehlig <klaus.aehlig@huawei.com>2024-11-05 16:27:50 +0100
committerKlaus Aehlig <klaus.aehlig@huawei.com>2024-11-06 14:37:16 +0100
commit9e7f2b68357dc1fbd073244e5a242a8317c8207d (patch)
tree971c37e846264da99390077e270b07daf7014caa /shell
parent197a35703d1ced53f71d6137b9133d2558d888d4 (diff)
downloadrules-cc-9e7f2b68357dc1fbd073244e5a242a8317c8207d.tar.gz
Prefer built-in "nub_left"
Now that justbuild 1.4 is available, the workaround of defining "nub_left" in terms of "reverse" and "nub_right" is no longer necessary.
Diffstat (limited to 'shell')
-rw-r--r--shell/RULES44
1 files changed, 16 insertions, 28 deletions
diff --git a/shell/RULES b/shell/RULES
index 5ac07e6..b9e91bb 100644
--- a/shell/RULES
+++ b/shell/RULES
@@ -116,44 +116,32 @@
}
]
, [ "PATH"
- , { "type": "reverse"
+ , { "type": "nub_left"
, "$1":
- { "type": "nub_right"
+ { "type": "++"
, "$1":
- { "type": "reverse"
- , "$1":
- { "type": "++"
- , "$1":
- [ {"type": "FIELD", "name": "PATH"}
- , { "type": "let*"
- , "bindings": [["provider", "PATH"]]
- , "body":
- {"type": "CALL_EXPRESSION", "name": "base-provides-++"}
- }
- ]
+ [ {"type": "FIELD", "name": "PATH"}
+ , { "type": "let*"
+ , "bindings": [["provider", "PATH"]]
+ , "body":
+ {"type": "CALL_EXPRESSION", "name": "base-provides-++"}
}
- }
+ ]
}
}
]
, [ "bin dirs"
- , { "type": "reverse"
+ , { "type": "nub_left"
, "$1":
- { "type": "nub_right"
+ { "type": "++"
, "$1":
- { "type": "reverse"
- , "$1":
- { "type": "++"
- , "$1":
- [ {"type": "FIELD", "name": "bin dirs"}
- , { "type": "let*"
- , "bindings": [["provider", "bin dirs"]]
- , "body":
- {"type": "CALL_EXPRESSION", "name": "base-provides-++"}
- }
- ]
+ [ {"type": "FIELD", "name": "bin dirs"}
+ , { "type": "let*"
+ , "bindings": [["provider", "bin dirs"]]
+ , "body":
+ {"type": "CALL_EXPRESSION", "name": "base-provides-++"}
}
- }
+ ]
}
}
]