diff options
| author | gingerBill <gingerBill@users.noreply.github.com> | 2025-10-12 10:19:45 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-10-12 10:19:45 +0100 |
| commit | 85005babc2fbcec380d2649a3a4f61316370d2fa (patch) | |
| tree | d7e0681d5179d02cedd836db21d1bcc9977b0355 /src/main.cpp | |
| parent | 9e836a2e4996ca0df32329f15b6257ea88a9231a (diff) | |
| parent | c4a8af0f0d2d8c5d052f075df524f10b67306730 (diff) | |
Merge pull request #5794 from alsakandari/improve-target-features
Improve target features flag by allowing the user to disable a target feature
Diffstat (limited to 'src/main.cpp')
| -rw-r--r-- | src/main.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/main.cpp b/src/main.cpp index 6ad20cf26..2d58cf218 100644 --- a/src/main.cpp +++ b/src/main.cpp @@ -3719,6 +3719,11 @@ int main(int arg_count, char const **arg_ptr) { String item = string_split_iterator(&target_it, ','); if (item == "") break; + if (*item.text == '+' || *item.text == '-') { + item.text++; + item.len--; + } + String invalid; if (!check_target_feature_is_valid_for_target_arch(item, &invalid) && item != str_lit("help")) { if (item != str_lit("?")) { |