-
Stephen Kelly authored
Computing the source files is now more expensive, so the Ninja generator became very slow with a large number of files.
19b7c22d
Computing the source files is now more expensive, so the Ninja generator became very slow with a large number of files.