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 /register-allocate.py | |
| 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 'register-allocate.py')
0 files changed, 0 insertions, 0 deletions