CI: ci_build.sh allows CMake features to be configured.
commit4fabdb269f1fc5624b3b94a170c4efb329d1d229
authorJia Tan <jiat0218@gmail.com>
Fri, 24 Mar 2023 12:35:11 +0000 (24 20:35 +0800)
committerJia Tan <jiat0218@gmail.com>
Fri, 24 Mar 2023 15:08:24 +0000 (24 23:08 +0800)
tree1106a4cf18f12881c2a07d5ba8eb54bc08bd5457
parentcf3d1f130e50cf63da4bb1031771605f6f443b6a
CI: ci_build.sh allows CMake features to be configured.

Also included various clean ups for style and helper functions for
repeated work.
build-aux/ci_build.sh