HOL-Theorem-Prover/HOL

Limits on the number of jobs for Holmake?

Closed this issue · 2 comments

Holmake -j 15 raises Subscript where as Holmake -j 14 works fine on a server machine with 128 cores.

mn200 commented

I think this is a duplicate of now fixed #1158 ; please re-open if you continue to see problems once you've merged with develop.

mn200 commented

If you are stuck on an earlier version and can't merge forward, the workaround is to use

Holmake ... | tee my-log-file

which turns off Holmake's attempts to be pretty.