diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-07-12 13:18:42 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-07-12 13:18:42 +0200 |
commit | efa462bd1655c6b2c8f064e214762650092257e8 (patch) | |
tree | fbabaeb77489660a60666accdef6bfbb89495478 /test/c/spectral.c | |
parent | a6bde8ba057ff057e311781fd91b4a9ab441731c (diff) | |
download | compcert-efa462bd1655c6b2c8f064e214762650092257e8.tar.gz compcert-efa462bd1655c6b2c8f064e214762650092257e8.zip |
Added heuristic for passing arg via responsefiles.
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
Diffstat (limited to 'test/c/spectral.c')
0 files changed, 0 insertions, 0 deletions