hi folks,
we just switched from "make" to "ninja" in do_cmake.sh for faster compilation. if you are using do_cmake.sh in your workflow, please s/make/ninja/ in your script or command line.
cheers,
_______________________________________________ Dev mailing list -- dev@xxxxxxx To unsubscribe send an email to dev-leave@xxxxxxx