diff options
| author | Michael Schmidt <github@mschmidt.me> | 2016-11-08 15:53:31 +0100 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2016-11-08 15:53:31 +0100 |
| commit | 363a47b6b77f69d8f2a074b395b5183197d61c0c (patch) | |
| tree | 69810543444155a07f4eb8b3156d435e7caa4cdf /tools | |
| parent | 6679544e5018695bbdf5f726b0c36f89a92412f5 (diff) | |
| download | compcert-363a47b6b77f69d8f2a074b395b5183197d61c0c.tar.gz compcert-363a47b6b77f69d8f2a074b395b5183197d61c0c.zip | |
fix va_arg for pointer types on 64bit target
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions