Use different .out files for different options / targets. This allows make -j N to work. Previously all test.*.*.prgs would use the same test.out file. Now test.*.*.out is also used.
Use different .out files for different options / targets. This allows make -j N to work. Previously all test.*.*.prgs would use the same test.out file. Now test.*.*.out is also used.