summaryrefslogtreecommitdiff
path: root/tools
Commit message (Expand)AuthorAgeFilesLines
* in -dtimings output, show time spent in C linker clearlyValentin Gatien-Baron2019-08-261-1/+1
* tools/ci/inria/extra-checks: use git clean rather than make distcleanSébastien Hinderer2019-08-061-8/+4
* release-checklist: be more explicit about how to update the year in the manualDamien Doligez2019-08-011-1/+1
* Merge pull request #8845 from dra27/old-schoolDavid Allsopp2019-07-311-8/+27
|\
| * Move the quicker tests to the top of the scriptDavid Allsopp2019-07-311-27/+27
| * Test make world on Inria CIDavid Allsopp2019-07-301-0/+19
* | Update release checklistFlorian Angeletti2019-07-301-13/+10
|/
* Test all ocamldoc generators in the CIDavid Allsopp2019-07-271-0/+4
* minor release-checklist updateGabriel Scherer2019-07-241-2/+2
* Test non-shared platform and minimal buildDavid Allsopp2019-07-181-10/+38
* manual: test case-insensitive collisionsFlorian Angeletti2019-07-051-3/+4
* actually remove tools/addlabels.ml, leftover from #8663Gabriel Scherer2019-06-191-469/+0
* Improve shell scripts (#1690)zapashcanon2019-06-195-83/+87
* Merge pull request #2309 from TheLortex/runtime-variant-pathGabriel Scherer2019-06-192-0/+4
|\
| * Introduce the -without-runtime option.Lucas Pluvinage2019-05-062-0/+4
* | Fix the instructions for uploading the manual to the Web server.Damien Doligez2019-06-191-2/+4
* | Fix Thread sanitizer after GPR#8691.Jacques-Henri Jourdan2019-06-182-8/+1
* | more fixes for release-checklistDamien Doligez2019-06-141-67/+48
* | Update release-checklistDavid Allsopp2019-04-301-2/+4
* | Fix error message displayed on Travis pushDavid Allsopp2019-04-301-7/+14
* | Check all necessary paths for configureDavid Allsopp2019-04-301-4/+5
* | Improve the main script of Inria's CISébastien Hinderer2019-05-171-13/+9
* | Remove the scrapelabels and addlabels toolsSébastien Hinderer2019-05-074-801/+0
* | Remove the ocaml299to3 toolSébastien Hinderer2019-05-074-617/+0
* | Build system: make ocamllex silent by default (#8664)Sébastien Hinderer2019-05-071-7/+2
|/
* Use "make --warn-undefined-variables" for CI at InriaXavier Leroy2019-05-021-2/+4
* release-checklist: remove section on updating MantisDamien Doligez2019-04-181-13/+4
* Merge pull request #8604 from gretay-js/pr2207Gabriel Scherer2019-04-121-1/+2
* Verify that configure.ac generates configureDavid Allsopp2019-04-021-0/+16
* Move some middle-end files around (#2281)Mark Shinwell2019-04-012-38/+34
* Ensure that files marked executable are #! scriptsDavid Allsopp2019-03-271-0/+28
* Skip files in .gitignore in check-typoDavid Allsopp2019-03-271-0/+1
* Quote directories in pre-commit hookDavid Allsopp2019-03-271-3/+3
* Ensure awk supports interval expressionsDavid Allsopp2019-03-272-1/+12
* Fix the bug reporting URL in release-checklistAnton Kochkov2019-03-251-1/+1
* Small fixes to release-checklistDamien Doligez2019-03-221-8/+22
* Merge pull request #8514 from stedolan/boot-ocamlc-optStephen Dolan2019-03-221-3/+2
|\
| * Use boot/ocamlc.opt for building, if available.Stephen Dolan2019-03-201-3/+2
* | Improve the packing mechanism used to build Dynlink (#2268)Mark Shinwell2019-03-192-0/+3
|/
* Delete otherlib/{graph,win32graph} (#2318)Jérémie Dimino2019-03-181-1/+1
* MPR#3249: ocamlmklib does not support .cmxa files as arguments (#8512)Xavier Leroy2019-03-181-3/+3
* Remove gprof support (#2314)Mark Shinwell2019-03-162-3/+2
* Add CSV file with Mantis=>GitHub renumbering informationNicolás Ojeda Bär2019-03-151-0/+1512
* GPR#2082: New option -no-insn-schedMark Shinwell2019-03-131-0/+2
* Restore -vmthreads flag as an error (#2312)David Allsopp2019-03-131-0/+1
* Update Inria's bootstrap CI jobSébastien Hinderer2019-03-121-13/+0
* Fix typo in CI scriptSébastien Hinderer2019-03-121-1/+1
* Delete the vmthreads library (#2289)Jérémie Dimino2019-03-113-3/+2
* Fix tools/caml-tex printing of sub message locationsJules Aguillon2019-03-111-2/+4
* Ensure failed build terminates AppVeyor runDavid Allsopp2019-03-051-0/+1
View Lorry Controller Status