diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-07-07 16:50:40 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-07-07 16:50:40 +0200 |
| commit | 0c7c17e087d91a8a61c5679df45f4b09c286d08b (patch) | |
| tree | c6574ef69cdb984d19ddab895977d96b17090adc /runtime/include | |
| parent | 4148ee08387bf953bdbe69f7668597ec0bcccc29 (diff) | |
| download | compcert-kvx-0c7c17e087d91a8a61c5679df45f4b09c286d08b.tar.gz compcert-kvx-0c7c17e087d91a8a61c5679df45f4b09c286d08b.zip | |
Added an define to avoid the inclusion of the diab va_list header which defined the incompatible vararg type.
Diffstat (limited to 'runtime/include')
0 files changed, 0 insertions, 0 deletions