-
Unlike the Makefile generator the ninja generator did not tack any of its output files, so if they are deleted the generator would not run.
4a6397a7
Unlike the Makefile generator the ninja generator did not tack any of its output files, so if they are deleted the generator would not run.