Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | nicer style in Makefile.best_binaries | Xavier Leroy | 2019-10-12 | 1 | -24/+17 |
* | Makefile.best_binaries: only use the native tool when it is newer (not stale) | Gabriel Scherer | 2019-10-12 | 1 | -17/+24 |
* | Makefile.best_binaries: best-effort commands for OCAML{C,OPT,DEP,LEX} | Gabriel Scherer | 2019-10-12 | 1 | -0/+46 |