March 12, 2018
View 8ea1539d91

For some unclear reason, using 'make -j8' actually slows down compilation of the package on the Windows build machines. Turning off multiple jobs compilation for now.

Hervé Pagès authored on 12/03/2018 15:07:20
March 11, 2018
View 52dd7b66fd

Use 8 jobs to compile the package on the Windows build machines.

Hervé Pagès authored on 11/03/2018 07:25:32
March 10, 2018
View 45ac9a1511

Trying to speed up installation/compilation of the package on the Windows build machines.

Hervé Pagès authored on 10/03/2018 02:52:32
March 9, 2018
View 953a7c50ca

Trying to speed up installation/compilation of the package on the build machines. Only Linux/Mac for now. Windows will follow (this is actually where we're most interested in speeding things up).

Hervé Pagès authored on 09/03/2018 18:13:10