| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Added heuristic for passing arg via responsefiles. | Bernhard Schommer | 2016-07-12 | 1 | -16/+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 | -0/+16 |
| | | |||||
| * | Added responsefile support for commandline. | Bernhard Schommer | 2016-07-08 | 1 | -0/+133 |
| Commandline can now be passed in a file specifed with @file on the Commandline. The quoting convention is similar to the one used by gcc, etc. Options are separated by whitespaces and options with whitespaecs need to be quoted. Bug 18303 | |||||
 |
index : compcert | |
| CompCert fork with minor modifications for Vericert. |
| aboutsummaryrefslogtreecommitdiffstats |