commit | 081e6751abc03348efe7acc0fd2289ec5eeae234 | [log] [tgz] |
---|---|---|
author | Cosmin Truta <ctruta@gmail.com> | Sun Sep 04 19:41:33 2022 +0300 |
committer | Cosmin Truta <ctruta@gmail.com> | Sun Sep 04 19:41:33 2022 +0300 |
tree | 2a68aea1a70ad88fe49a5aa3aa404f0674a314ef | |
parent | 103f8346e39779a9b8954e434b28bbdab36e90fb [diff] |
ci: Update the CI scripts Apply the following changes: * Set CI_CMAKE_GENERATOR to "Ninja" by default in ci_cmake.sh. * Set CI_CC to cc by default in ci_autotools.sh. * Rename CI_SYSNAME to CI_SYSTEM_NAME; add CI_MACHINE_NAME. * Apply other minor changes and fixes.