2 Commits (23e2c6e610a304e48252bbbd073441a434ff73c9)

Author	SHA1	Message	Date
Gabriel Scherer	23e2c6e610	Makefile.best_binaries: only use the native tool when it is newer (not stale)	2019-10-12 10:30:34 +02:00
Gabriel Scherer	70adde7ff5	Makefile.best_binaries: best-effort commands for OCAML{C,OPT,DEP,LEX}	2019-10-12 10:23:29 +02:00