jenkins: Add the build script from jenkins here

This can be used to replicate a build issue more easily.
1 file changed