diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-07-05 11:16:02 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-07-05 11:16:02 +0200 |
| commit | 47700fa340c2049f3a4af8f16c2f5f8b23a6341e (patch) | |
| tree | 1fc9fc41d694180b2d5048a3c97cdc3652da54db /.gitignore | |
| parent | 01bac827fe4731155e5e8f9f5e9702a6c4a2a128 (diff) | |
| download | compcert-47700fa340c2049f3a4af8f16c2f5f8b23a6341e.tar.gz compcert-47700fa340c2049f3a4af8f16c2f5f8b23a6341e.zip | |
Add a -ignore-coq-version flag to configure
Pull request #188 from Maxime Dénès.
This flag makes it easier for the Coq people to test CompCert with in-development versions of Coq.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions