compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Ignore also ignores the argunment. Bug 18004	Bernhard Schommer	2016-09-20	1	-1/+1
\|
*	Additional test for color output.	Bernhard Schommer	2016-08-05	1	-0/+2
\| \| \| \| \| \|	Color output is only enabled if stderr is a tty, and the environment variable TERM is not empty or dumb. Bug 18004
*	PR#16: give option rules precedence over file pattern rules.	Xavier Leroy	2015-01-03	1	-2/+1
\| \| \| \| \| \|	Plus: simplify handling of -help and --help. Plus: error on unrecognized "-xxx" options so that "-foo.c" is not treated as a source file.
*	Revised parsing of command-line arguments (in preparation for adding more).	Xavier Leroy	2014-11-16	1	-0/+41
	Honor "ccomp -E foo.h" for GCC compatibility. Accept .o.ext files as object files for GCC compatibility. Fixed and improved handling of Cminor source files.