diff options
author | 2018-04-29 14:09:35 -0400 | |
---|---|---|
committer | 2018-04-30 01:02:13 -0400 | |
commit | d4129abb2c9a73cc7d367e57fa6ae22224aca71e (patch) | |
tree | 8f0e884ffb38076f38d3a0036d7840f3f0b893be /.travis.yml | |
parent | 149aee10f5c4ff9ce8f29f2df2660fd38ac3ba7c (diff) |
Don't allow coqprime and coqprime-all to run in parallel
We only want one invocation of submake at a time.
Diffstat (limited to '.travis.yml')
0 files changed, 0 insertions, 0 deletions