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






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