diff options
| author | Oliver Reiche <oliver.reiche@huawei.com> | 2023-05-31 12:29:12 +0200 |
|---|---|---|
| committer | Oliver Reiche <oliver.reiche@huawei.com> | 2023-05-31 18:39:04 +0200 |
| commit | 4d6425c936d51ce31f3e45b70b401de6e7e20e4e (patch) | |
| tree | b3d2895c86881ccddb79674c57a9ee0f999bc0c0 | |
| parent | 9c1b7cfe4c118389beb5e386e71f7784e743a4a1 (diff) | |
| download | rules-cc-4d6425c936d51ce31f3e45b70b401de6e7e20e4e.tar.gz | |
foreign/make: Do not set -j without job number
| -rw-r--r-- | CC/foreign/make/EXPRESSIONS | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/CC/foreign/make/EXPRESSIONS b/CC/foreign/make/EXPRESSIONS index df2f98f..0f20da5 100644 --- a/CC/foreign/make/EXPRESSIONS +++ b/CC/foreign/make/EXPRESSIONS @@ -339,14 +339,17 @@ , "else": ["DESTDIR"] } , {"type": "var", "name": "make_options"} - , [ { "type": "join" - , "$1": - { "type": "++" + , { "type": "if" + , "cond": {"type": "var", "name": "make_jobs"} + , "then": + [ { "type": "join" , "$1": - [["-j"], {"type": "var", "name": "make_jobs", "default": []}] + { "type": "++" + , "$1": [["-j"], {"type": "var", "name": "make_jobs"}] + } } - } - ] + ] + } ] } , "out_dirs": ["install"] |