Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Inria CI: make sure this 4.11 branch is not run on Solaris | Sébastien Hinderer | 2021-01-28 | 1 | -0/+4 |
* | Fix typo in CI script | Sébastien Hinderer | 2019-03-12 | 1 | -1/+1 |
* | Fixing typos in various files (#2246) | Fourchaux | 2019-02-13 | 1 | -1/+1 |
* | Use autoconf to generate the compiler's configuration script | Sébastien Hinderer | 2018-12-21 | 1 | -22/+14 |
* | Update Inria CI scripts to recognise cygwin64 | David Allsopp | 2018-11-28 | 1 | -1/+5 |
* | Move config/Makefile to Makefile.config | Sébastien Hinderer | 2018-09-17 | 1 | -4/+4 |
* | Merge the asmrun and byterun directories into the runtime directory | Sébastien Hinderer | 2018-06-28 | 1 | -5/+5 |
* | Break long lines in Inria CI scripts | David Allsopp | 2018-06-13 | 1 | -2/+4 |
* | Add script to test the bootstrap on Inria's CI | Sébastien Hinderer | 2018-06-06 | 1 | -0/+247 |