7 Commits

Include renames

Author	SHA1	Message	Date
Linus Yang	64100a1b22	Docker: speed up MinGW build by parallel make	2018-06-09 15:48:07 +08:00
Linus Yang	af9dc106e3	MinGW: speed up docker build	2018-03-23 03:48:47 +08:00
Linus Yang	f91f03e2e9	MinGW: update libcork and Docker script	2018-03-14 11:19:49 +08:00
Linus Yang	cb369919a7	Compile plugin in Docker for MinGW	2018-03-14 09:58:28 +08:00
Linus Yang	735aeb41b8	Simplify Docker build on Windows	2018-03-10 17:03:38 +08:00
Linus Yang	2603dcbb4e	Fix MinGW build using Docker	2018-03-08 22:54:10 +08:00
Linus Yang	fd55773972	Use docker to build MinGW port	2018-03-08 18:10:28 +08:00