driver/Clflags.ml · c24a652789e15b33153c1d90c6869eb6e6e28040 · CertiCompil / CompCert-KVX · GitLab

Snippets Groups Projects

15 years ago
54cba6d4
Suppressed -fall-extensions option, too dangerous wrt flonglong · 54cba6d4
xleroy authored 15 years ago
```
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1275 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
```
54cba6d4

History
Suppressed -fall-extensions option, too dangerous wrt flonglong
xleroy authored 15 years ago
```
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1275 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
```

Clflags.ml 1.53 KiB