Re #8882. Try and get my batch scripting right.
Merge branch 'feature/8882_jenkins_build_scripts' into develop