Fix build options parsing

2023-07-04 09:23:07 +08:00 · 2023-07-04 09:23:07 +08:00 · c725768193
parent 6b6fc25078
commit c725768193
1 changed files with 2 additions and 1 deletions
--- a/tools/ci/build1k.ps1
+++ b/tools/ci/build1k.ps1
@ -825,6 +825,7 @@ for ($i = 0; $i -lt $nopts; ++$i) {
    if($optv -eq '--config') {
        if ($i -lt ($nopts - 1)) {
            $optimize_flag = $buildOptions[$i + 1]
+            ++$i
        }
        break
    }