coq/test-suite/coq-makefile/arg, branch master The formal proof system Porting the test-suite to coqpp. 2018-10-19T14:24:46+00:00 Pierre-Marie Pédrot 2018-10-19T14:21:22+00:00 266050f7aaa0ee0b090b30b1acabaccda6919889 






more verbose logs for coq-makefile
2017-07-20T13:40:48+00:00

Enrico Tassi

2017-07-17T12:03:35+00:00

82b197a87e154d5206d74dfe53f5b5f5215f1a3e












coq-makefile: make test suite detect more errors
2017-07-20T13:40:48+00:00

Enrico Tassi

2017-07-17T08:50:04+00:00

7f7075d10780fe24c97e329868a501c2af422625

Replacing ; with && and enabling bash's pipefail option





Replacing ; with && and enabling bash's pipefail option







Remove dependency on -compat flag in coq_makefile test suite.
2017-06-15T09:32:56+00:00

Maxime Dénès

2017-06-15T09:32:56+00:00

929dc481c91dc860b69b08dd65fb6f65d5650e23












Use specific shell for more robustness.
2017-05-27T01:01:56+00:00

Théo Zimmermann

2017-05-27T00:57:08+00:00

92792dbdffc499d63ef772c97d0c73477be6007e












coq_makefile: don't quote extra arguments (-arg)
2017-05-23T08:48:28+00:00

Enrico Tassi

2017-05-11T13:53:16+00:00

7b56ef80850af8ddf13db35b4cd69f6cf1af3549

Restores compatibility with 8.6





Restores compatibility with 8.6