How to update Jenkins - acl2/acl2 GitHub Wiki
Replace the wget command's url with the URL that jenkins provides and follow the instructions at:
http://www.thegeekstuff.com/2016/06/upgrade-jenkins-and-plugins/
Replace the wget command's url with the URL that jenkins provides and follow the instructions at:
http://www.thegeekstuff.com/2016/06/upgrade-jenkins-and-plugins/