[PATCH] Add a new makefile target that does everything needed for jenkins.