Improve the build scripts#4465
Merged
pento merged 23 commits intomaster from add/better-build-toolsJan 17, 2018
+587-102
Commits
Commits on Jan 15, 2018
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed