2015-12-03 12:14, Mcnamara, John: > Also, if someone has some bandwidth it would be good to add an option > to pass -j with an optional number to "make" in the script. We can use -j without any number: "make will not limit the number of jobs that can run simultaneously". It is a not so bad default.