coq/test-suite/coq-makefile/only, 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







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

Théo Zimmermann

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

92792dbdffc499d63ef772c97d0c73477be6007e












add the only target
2017-05-23T10:08:14+00:00

Enrico Tassi

2017-05-23T10:08:14+00:00

0ca2fe2e616f303665003bc6cf2d89df385f9394

This makes the following work correctly:
  make only TGTS="foo bar" -j2
note that
  make foo bar -j2
is not doing what you think





This makes the following work correctly:
  make only TGTS="foo bar" -j2
note that
  make foo bar -j2
is not doing what you think