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

	Commit message (Collapse)	Author	Age	Files	Lines
*	[BROKEN] Merge with v3.9 : something broken for __builtin_expect in ↵	Cyril SIX	2021-06-01	1	-4/+5
\| \| \| \|	cfrontend/C2C.ml
*	Moved quoting functions in Responsefile	Bernhard Schommer	2016-08-16	1	-0/+11
\| \| \| \| \| \|	Also corrected some typos and corrected exception handling for expandargv. Bug 18308
*	Added simplified reader and printer for gnu @files	Bernhard Schommer	2016-07-20	1	-1/+1
\| \| \| \| \| \| \| \|	The functions expandargv and writeargv resemble the functions from the libiberity that are used by the gnu tools. Additionaly a new configuration is added in order to determine which kind of response files are supported for calls to other tools. Bug 18308
*	Added heuristic for passing arg via responsefiles.	Bernhard Schommer	2016-07-12	1	-4/+0
\| \| \| \| \| \| \|	Since gnu make and other tools under windows seem to have a limit of around 8000 bytes per command line the arguments should be passed via responsefiles instead. Bug 18308
*	Really added the function. Bug 18308	Bernhard Schommer	2016-07-11	1	-3/+3
\|
*	Added function to write responsefiles.	Bernhard Schommer	2016-07-11	1	-0/+24
	The arguments are written in the responsefile separated by whitespace. If the argument itself contains a whitespace it is quoted. Bug 18308