acl2/acl2 — pull request #1 by ragerdl (2014-09-02 14:35:42+00:00)
Title: Adding scripts for using Jenkins on a community build server.  These scripts will likely be different than the scripts Centaur uses (well, maybe Jared is willing to help me figure out why aliases for startjob don't work inside my jenkins, which would allow us to unify them).

Bringing in some Jenkins scripts for use with the community build server (in progress).