Poke Jenkins with minor update.

Add config files parametrized by platform and build type.