5 ms·
If it never changes, generating the headers during the build is just wasted time for whoever/whatever is running that build.
by saxonww 6y ago
If it never changes, generating the headers during the build is just wasted time for whoever/whatever is running that build.