diff options
author | Jason Gross <jgross@mit.edu> | 2018-04-29 14:09:35 -0400 |
---|---|---|
committer | Jason Gross <jasongross9@gmail.com> | 2018-04-30 01:02:13 -0400 |
commit | d4129abb2c9a73cc7d367e57fa6ae22224aca71e (patch) | |
tree | 8f0e884ffb38076f38d3a0036d7840f3f0b893be /src/Experiments/SimplyTypedArithmetic.v | |
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 'src/Experiments/SimplyTypedArithmetic.v')
0 files changed, 0 insertions, 0 deletions