aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/coq-makefile/plugin2
Commit message (Collapse)AuthorAge
* Improve shell scriptsGravatar zapashcanon2018-04-05
|
* more verbose logs for coq-makefileGravatar Enrico Tassi2017-07-20
|
* coq-makefile: make test suite detect more errorsGravatar Enrico Tassi2017-07-20
| | | | Replacing ; with && and enabling bash's pipefail option
* test-suite/coq-makefile: we do not build byte file by default anymoreGravatar Pierre Letouzey2017-06-01
|
* Merge PR#689: Changes to make coq-makefile not failing on MacOS X.Gravatar Maxime Dénès2017-05-28
|\
* | Use specific shell for more robustness.Gravatar Théo Zimmermann2017-05-27
| |
| * Changes to make coq-makefile not failing on MacOS X.Gravatar Hugo Herbelin2017-05-26
|/ | | | There is still however a failure with "rmdir --ignore-fail-on-non-empty".
* test suite for coq_makefile2Gravatar Enrico Tassi2017-05-23