Add a script for Jenkins.  It's short, but it's better to have it in version-control than not.