diff options
author | Jia Tan <jiat0218@gmail.com> | 2023-03-24 20:35:11 +0800 |
---|---|---|
committer | Jia Tan <jiat0218@gmail.com> | 2023-03-24 23:08:24 +0800 |
commit | 4fabdb269f1fc5624b3b94a170c4efb329d1d229 (patch) | |
tree | 1106a4cf18f12881c2a07d5ba8eb54bc08bd5457 /doc/examples/Makefile | |
parent | CI: Change ci_build.sh to use bash instead of sh. (diff) | |
download | xz-4fabdb269f1fc5624b3b94a170c4efb329d1d229.tar.xz |
CI: ci_build.sh allows CMake features to be configured.
Also included various clean ups for style and helper functions for
repeated work.
Diffstat (limited to 'doc/examples/Makefile')
0 files changed, 0 insertions, 0 deletions