diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-12-23 17:22:33 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-12-26 18:44:22 +0100 |
commit | 73551e058a850297bc72924a69b39affcfa49dfa (patch) | |
tree | 2a461533d1655004bc47f73af3ae4b2359c4acfa /test/clightgen/Makefile | |
parent | d851af2536a093d9ff257df55a3a67a0f381a6b6 (diff) | |
download | compcert-73551e058a850297bc72924a69b39affcfa49dfa.tar.gz compcert-73551e058a850297bc72924a69b39affcfa49dfa.zip |
C parser: handle other built-in types than __builtin_va_list
All the built-in types declared in $ARCH/CBuiltins.ml are now recognized
as type names initially.
Diffstat (limited to 'test/clightgen/Makefile')
0 files changed, 0 insertions, 0 deletions