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 /driver/Frontend.ml | |
| 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 'driver/Frontend.ml')
0 files changed, 0 insertions, 0 deletions