On 2018/09/10 18:13, Brian Callahan wrote: > Sorry for the noise--meant to send the diff version of this.
I think that makes sense for now and doesn't change anything for the default case so doesn't need a bulk. OK sthen@. (Later I think it would be better to move setting CMAKE_MAKE_PROGRAM down to the "either ninja or samurai" section, but that should go through bulk build first.)