mirror of
https://github.com/dolthub/dolt.git
synced 2026-01-14 19:00:18 -06:00
746d1bfbb1
This build will be built with our release toolchains and will have the same runtime dependencies as them. In contrast to our release builds, it does not use profile guided optimization. This script is mostly used to pass test builds between developers or to get instrumented builds to clients during troubleshooting, optimization, etc.
156 B
156 B
Make a developer build for one of the supported platforms, similar to how buildpgobinaries would build them.
Does not include profile-guided optimization.