#167 (Jun 10, 2020, 12:32:28 PM)

Started 5 yr 2 mo ago

Took 41 min on olive

	Started by GitHub push by dra27
	Revision: 2f38a520861c433cb3773face5b9e0cd40d55577 Repository: https://github.com/ocaml/ocaml origin/trunk

Changes

Add --enable-warn-error (commit: 75c9cd3) (details / githubweb)
Rename $gcc_warnings to $cc_warnings in configure (commit: 9f9d806) (details / githubweb)