diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2013-04-04 15:26:56 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2013-04-04 15:26:56 +0000 |
| commit | e2eacb06cdc9599f2ab699a5b552477d5da368ed (patch) | |
| tree | cd7e438981dbe6d714cdefc3f2f6d1ad588fdc0b /testsuite/external/.ignore | |
| parent | 1eda2af37bf7b4f87fadc3435a3c70bdc4c57150 (diff) | |
add compcert to the test suite
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13484 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'testsuite/external/.ignore')
| -rw-r--r-- | testsuite/external/.ignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/testsuite/external/.ignore b/testsuite/external/.ignore index 988bd58be..3ee940697 100644 --- a/testsuite/external/.ignore +++ b/testsuite/external/.ignore @@ -27,6 +27,8 @@ camomile camomile-0.8.4 comparelib comparelib-109.09.00 +compcert +compcert-1.13 configfile config-file-1.1 coq |