Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
* make should always be called as $(MAKE) in makefiles * CMake didn't keep job server fds open when explicilty specifying the build command. Starting with CMAKE 3.28 there is a new option to allow for that, but we support much older cmakes than that. (BUILD_JOB_SERVER_AWARE). Not sure when this broke in practice, might have been with some update of Make/CMake or wally. (concurrent builds (-j8) doesn't work right now)
- Loading branch information