Merge pull request #4312 from ntherning/winaot-tests-on-jenkins
authorNiklas Therning <niklas@therning.org>
Thu, 2 Feb 2017 07:11:36 +0000 (02:11 -0500)
committerGitHub <noreply@github.com>
Thu, 2 Feb 2017 07:11:36 +0000 (02:11 -0500)
Adds CI scripts to run the test suites under the winaot profile


Trivial merge