-
Robert Schmidt authored
There are command line options that one might pass to ninja/make, but for which cmake does not provide an interface. For instance, make/ninja support -k/-kN to "keep going" after errors. Cmake does not provide an option, but it is still possible to pass this. Make a build_oai option to allow this, used in the next commit.
a89aab8d