• Robert Schmidt's avatar
    build_oai: add --build-tool-opt to pass options to build tool · a89aab8d
    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
build_oai 20.2 KB