diff options
| author | gingerBill <bill@gingerbill.org> | 2020-05-04 18:23:23 +0100 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2020-05-04 18:23:23 +0100 |
| commit | 99ebb5af3b42850b385f9b7efa1d6b001737f7d7 (patch) | |
| tree | 236363f2998c512924dd1e7660d6130016059f86 /src/main.cpp | |
| parent | 45274868c3404d6e7822c146c7e5319f84d6542d (diff) | |
Support `--flag` as redundancy for `-flag`
Diffstat (limited to 'src/main.cpp')
| -rw-r--r-- | src/main.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/main.cpp b/src/main.cpp index bea8c847e..250db93d2 100644 --- a/src/main.cpp +++ b/src/main.cpp @@ -665,6 +665,10 @@ bool parse_build_flags(Array<String> args) { continue; } + if (string_starts_with(flag, str_lit("--"))) { + flag = substring(flag, 1, flag.len); + } + String name = substring(flag, 1, flag.len); isize end = 0; for (; end < name.len; end++) { |