Romain Guy cc6361e4f9 Make CI scripts safer (#2456) ...

- Added an extra README file detailing what the scripts are for
- The scripts now display a warning and a prompt before requiring user confirmation to continue
- The system install commands are only executed in CI environments (ninja and cmake being installed as root without checking for the environment was a leftover from a previous non-GitHub based CI setup)

2020-04-25 01:03:29 -07:00

..

build.sh

Make CI scripts safer (#2456)

2020-04-25 01:03:29 -07:00

ci-common.sh

Make CI scripts safer (#2456)

2020-04-25 01:03:29 -07:00

combine-static-libs.sh

Add scripts for combining static libraries (#769)

2019-02-01 15:38:48 -08:00