Riccardo Lincetto

Results 1 comments of Riccardo Lincetto

Try running the `make` commands with flag `-j4`. This selects the number of processors, if you select too many processors you might run out of memory.