summaryrefslogtreecommitdiff
path: root/tools
Commit message (Expand)AuthorAgeFilesLines
...
| * | | tools/ci/inria/extra-checks: fix another typoSébastien Hinderer2020-08-031-1/+1
| * | | tools/ci/inria/extra-checks: stop mentionninig world.opt explicitlySébastien Hinderer2020-08-031-2/+2
| * | | tools/ci/inria/extra-checks: print each command before its executionSébastien Hinderer2020-08-031-0/+4
| * | | tools/ci/inria/extra-checks: fix typosSébastien Hinderer2020-08-031-1/+1
| | |/ | |/|
* | | Merge commit 'a0a1ba4f1eb1a8a6c0013e77e3d6c1de5190c97f' into parallel_minor_g...Tom Kelly2021-03-042-628/+0
|\ \ \ | |/ /
| * | Reorganize release infoFlorian Angeletti2020-07-262-628/+0
* | | Merge commit 'e41dc9c44327f40c1ab0feea12f779c931c9e31e' into parallel_minor_g...Tom Kelly2021-03-042-2/+3
|\ \ \ | |/ /
| * | Merge pull request #9657 from nojb/warning_mnemonicsGabriel Scherer2020-07-211-1/+1
| |\ \
| | * | Adapt caml-texNicolás Ojeda Bär2020-07-201-1/+1
| * | | Test "no naked pointers" along with "flambda"Xavier Leroy2020-07-201-1/+2
| |/ /
* | | Merge commit '01c6a5ebe38b680a0b104aa4075ff790f311ea01' into parallel_minor_g...Tom Kelly2021-03-045-192/+11
|\ \ \ | |/ /
| * | Fix "main" CI script w.r.t. macOSXavier Leroy2020-07-141-0/+3
| * | Merge pull request #9551 from nojb/microbfdXavier Leroy2020-07-145-194/+10
| |\ \ | | |/ | |/|
| | * Remove integration with libbfdNicolás Ojeda Bär2020-07-023-170/+1
| | * make alldependNicolás Ojeda Bär2020-07-021-4/+4
| | * Adapt ocamlobjinfoNicolás Ojeda Bär2020-07-021-20/+5
* | | Merge commit '06162616426d8689f868ec9b150c6b6a9ba7fdb9' into parallel_minor_g...Tom Kelly2021-03-041-1/+1
|\ \ \ | |/ /
| * | Merge pull request #9712 from Octachron/version_formatFlorian Angeletti2020-07-031-1/+1
| |\ \ | | |/ | |/|
| | * Update version formatoctachron2020-07-021-1/+1
* | | Merge commit 'c4851b0ff0070bca3b5ebbb3ec51941a249031cc' into parallel_minor_g...Tom Kelly2021-03-041-2/+2
|\ \ \ | |/ /
| * | Bump FlexDLL submodule to 0.38David Allsopp2020-06-291-2/+2
* | | Merge commit '368eb16ee80843afc6c40cf98e6994256747844a' into parallel_minor_g...Tom Kelly2021-03-041-0/+1
|\ \ \ | |/ /
| * | CI: make "light" test lighterXavier Leroy2020-06-251-0/+1
* | | Merge commit '83c4909d525514d7b68dab4c8a33aa25f9d86277' into parallel_minor_g...Tom Kelly2021-03-032-9/+3
|\ \ \ | |/ /
| * | Merge pull request #9692 from nojb/shellquoteDavid Allsopp2020-06-231-7/+0
| |\ \
| | * | Get rid of shellquote macroNicolás Ojeda Bär2020-06-171-7/+0
| * | | Fix inria/extra-checks CI jobSébastien Hinderer2020-06-221-2/+3
* | | | Merge commit '5f4542862f384a63a988db1dbd49c1e6b1ebf217' into parallel_minor_g...Tom Kelly2021-03-036-88/+93
|\ \ \ \ | |/ / /
| * | | Build system: simplify installation rulesSébastien Hinderer2020-06-181-10/+7
| * | | Add the $(EXE) suffix to all programs at build rather than install timeSébastien Hinderer2020-06-183-66/+82
| * | | tools/Makefile: stop considering ocamldep and cvt_emit as preciousSébastien Hinderer2020-06-181-12/+2
| * | | tools/ocamlmktop.ml: make use of the configured extension of executalbesSébastien Hinderer2020-06-182-3/+4
| * | | objinfo: take possible .exe extension into account when calling objinfo_helperSébastien Hinderer2020-06-181-1/+2
| * | | objinfo_helper: slightly generalise usage messageSébastien Hinderer2020-06-181-1/+1
| | |/ | |/|
| * | Merge pull request #9625 from dra27/warn-errorDavid Allsopp2020-06-101-7/+4
| |\ \
| | * | Add --enable-warn-errorDavid Allsopp2020-06-011-7/+4
* | | | Merge commit 'a1e3b966ea34faaf67104f2bfe6f90bc42758225' into parallel_minor_g...Tom Kelly2021-03-032-192/+0
|\ \ \ \ | |/ / /
| * | | Remove two oldish scripts (#9656)Sébastien Hinderer2020-06-092-192/+0
* | | | Merge commit '9d4679f338ae0c66de2dc16ea7d9e87c05fe6b9b' into parallel_minor_g...Tom Kelly2021-03-023-7/+5
|\ \ \ \ | |/ / /
| * | | Fix tools/check-typo for mawk 1.3.4 (#9644)David Allsopp2020-06-051-3/+2
| | |/ | |/|
| * | Inria CI: also test LibBFD support on FreeBSDSébastien Hinderer2020-06-041-1/+1
| * | Fix load path ordering (#9611)Nicolás Ojeda Bär2020-06-031-3/+2
* | | Merge commit '0ca651b95cbda5d58f7760f0fa1dba965d1f0828' into parallel_minor_g...Tom Kelly2021-03-021-1/+0
|\ \ \ | |/ /
| * | Remove Const_pointer from Lambda and Clambda (#9585)Stephen Dolan2020-06-021-1/+0
| |/
* | Merge commit '71e91123c27780fdfeca93c6c57c2f9af5417e54' into parallel_minor_g...Tom Kelly2021-03-022-5/+23
|\ \ | |/
| * Improve -with-bootstrap modeXavier Leroy2020-05-211-2/+7
| * Force a bootstrap for the --disable-flat-float-array testXavier Leroy2020-05-211-1/+1
| * Add option "-with-bootstrap"Xavier Leroy2020-05-211-4/+17
* | Merge commit '41548a735900a74202b07f918521ef9ac52ece1e' into parallel_minor_g...Tom Kelly2021-03-021-2/+2
|\ \ | |/
| * Travis CheckDepend: show the difference, not just the problematic filesGabriel Scherer2020-05-161-2/+2
View Lorry Controller Status