diff options
| author | Gaetan Gilbert | 2017-05-05 13:19:21 +0200 |
|---|---|---|
| committer | Gaetan Gilbert | 2017-05-17 09:12:40 +0200 |
| commit | f6b0d8b78ae25c8b1c6b901e57a5f4e38f20cdbd (patch) | |
| tree | e9f888c0fc0aaa8febd6fc6f19e971a7ab8dbe9c /Makefile.dev | |
| parent | 5360ec8ff56c44e96c56965be78e6f2538963a57 (diff) | |
Travis: do not run the tests if building Coq fails
Diffstat (limited to 'Makefile.dev')
0 files changed, 0 insertions, 0 deletions