Commit d9db435
authored
Add --build-tool-options to pass options to make/ninja/etc. (#25)
7688741
stopped us always using make but in the process removed the "-k" flag.
This flag causes make to carry on even when some targets fail. This is
very important for running the test suite in CI. Without it, a single
build failure marks thousands of subsequent programs as missing, as if
they too had failed to compile.
If I deliberately break a single source test the results currently are:
```
Total Discovered Tests: 3424
Passed : 378 (11.04%)
Executable Missing: 3046 (88.96%)
Import succeeded.
```
This is what they should be:
```
Executable Missing Tests (1):
test-suite :: SingleSource/UnitTests/2003-04-22-Switch.test
Total Discovered Tests: 3424
Passed : 3423 (99.97%)
Executable Missing: 1 (0.03%)
Import succeeded.
```
cmake --build does not have its own -k option, so we have to pass it
after -- to the native tool. Unfortunately ninja's -k takes a number,
so ninja -k 0 is equivalent to make -k. Therefore we can't just
always add "-- -k" here.
Instead I've added a new option --build-tool-options where you can
pass any arguments you want. The build bots will use this to pass
"-k" to make, as we know for sure they use make.
Anything using ninja will also want to pass "-k 0" to get the same
effect.1 parent f987c12 commit d9db435
2 files changed
+12
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
72 | 72 | | |
73 | 73 | | |
74 | 74 | | |
| 75 | + | |
| 76 | + | |
| 77 | + | |
| 78 | + | |
| 79 | + | |
| 80 | + | |
| 81 | + | |
75 | 82 | | |
76 | 83 | | |
77 | 84 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
580 | 580 | | |
581 | 581 | | |
582 | 582 | | |
583 | | - | |
| 583 | + | |
| 584 | + | |
584 | 585 | | |
585 | 586 | | |
586 | 587 | | |
| |||
1168 | 1169 | | |
1169 | 1170 | | |
1170 | 1171 | | |
| 1172 | + | |
| 1173 | + | |
| 1174 | + | |
1171 | 1175 | | |
1172 | 1176 | | |
1173 | 1177 | | |
| |||
0 commit comments