aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/coq-makefile/multiroot
Commit message (Expand)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
* 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
|\
* | Fix test-suite/coq-makefile on NixOS.Gravatar Théo Zimmermann2017-05-27
| * Changes to make coq-makefile not failing on MacOS X.Gravatar Hugo Herbelin2017-05-26
|/
* test suite for coq_makefile2Gravatar Enrico Tassi2017-05-23