diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-09-04 19:17:37 +0200 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2022-09-23 13:55:44 +0200 |
commit | a35e5637b7ef4e68acf3677f8c4fb5df7a91e6ab (patch) | |
tree | 17d61b526237ff1de5ec125d21a5c43b6adfbc02 /riscV/Asmgenproof1.v | |
parent | 5ba25e22bc28005a5b8893d546eba5606898667c (diff) | |
download | compcert-a35e5637b7ef4e68acf3677f8c4fb5df7a91e6ab.tar.gz compcert-a35e5637b7ef4e68acf3677f8c4fb5df7a91e6ab.zip |
No need to set -std=c99 on the GNU C preprocessor command line
The correct -std option is now added by ccomp itself.
Diffstat (limited to 'riscV/Asmgenproof1.v')
0 files changed, 0 insertions, 0 deletions