compcert-kvx - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Expand)	Author	Age	Files	Lines
...
\| *	Removed the Unix from the libraries for cchecklink.	Bernhard Schommer	2015-02-20	1	-2/+3
\| *	Merge branch 'no-shell' of github.com:AbsInt/CompCert into compcert_windows	Bernhard Schommer	2015-02-19	1	-2/+3
\| \|\
\| \| *	Merge branch 'master' into no-shell	Bernhard Schommer	2015-02-19	1	-2/+6
\| \| \|\
\| \| * \|	Use Unix.create_process instead of Sys.command (continued).	Xavier Leroy	2014-12-29	1	-2/+3
\| * \| \|	Removed the linker flag again.	Bernhard Schommer	2015-01-20	1	-2/+2
\| \| \|/ \| \|/\|
* \| \|	Merge branch 'master' into dwarf	Bernhard Schommer	2015-01-20	1	-2/+6
\|\\| \|
\| * \|	Replaced 8 spaces by tabs.	Bernhard Schommer	2015-01-16	1	-1/+1
\| * \|	Added new target to just remove the cm[iox] files and the build executables.	Bernhard Schommer	2015-01-16	1	-0/+4
\| * \|	Added variable to the Makefile to specify additional linker commands and chan...	Bernhard Schommer	2015-01-15	1	-2/+2
\| \|/
* /	Merge branch 'master' into dwarf	Bernhard Schommer	2015-01-12	1	-1/+1
\|/
*	Minor bug fixes in configure and Makefile.extr	Xavier Leroy	2014-12-17	1	-2/+3
*	Use OCaml's .opt compilers when available.	Xavier Leroy	2014-12-17	1	-16/+49
*	Replace ocamlbuild by a second-stage makefile to compile the OCaml code and p...	Xavier Leroy	2014-11-22	1	-0/+134