At least from the perspective of a distribution, it's easier to use standard tools (make in this case) instead of wrapper scripts when possible. I think this is already almost the case here since the go script just wraps make commands, except that it also adds some flags. If any of those flags are necessary for building principia in release mode, could you consider moving them to the Makefile?
At least from the perspective of a distribution, it's easier to use standard tools (
make
in this case) instead of wrapper scripts when possible. I think this is already almost the case here since thego
script just wrapsmake
commands, except that it also adds some flags. If any of those flags are necessary for building principia in release mode, could you consider moving them to the Makefile?