cec9b9 Use jobs for make command

1 file Authored by Campbell Barton 7 years ago , Committed by GitHub 7 years ago ,
    Use jobs for make command
    
    Building can be quite a slow process, so add jobs to make command.
        
file modified
+4 -4