summaryrefslogtreecommitdiff
path: root/tools/ci/inria/bootstrap
Commit message (Expand)AuthorAgeFilesLines
* Inria CI: make sure this 4.11 branch is not run on SolarisSébastien Hinderer2021-01-281-0/+4
* Fix typo in CI scriptSébastien Hinderer2019-03-121-1/+1
* Fixing typos in various files (#2246)Fourchaux2019-02-131-1/+1
* Use autoconf to generate the compiler's configuration scriptSébastien Hinderer2018-12-211-22/+14
* Update Inria CI scripts to recognise cygwin64David Allsopp2018-11-281-1/+5
* Move config/Makefile to Makefile.configSébastien Hinderer2018-09-171-4/+4
* Merge the asmrun and byterun directories into the runtime directorySébastien Hinderer2018-06-281-5/+5
* Break long lines in Inria CI scriptsDavid Allsopp2018-06-131-2/+4
* Add script to test the bootstrap on Inria's CISébastien Hinderer2018-06-061-0/+247