Index: Jenkins/tools.groovy
===================================================================
--- Jenkins/tools.groovy	(revision 6a531abe77c465b5c3cafd6981a444ef24586410)
+++ Jenkins/tools.groovy	(revision 143cbf19b5b2e9a81f3a51915a26e83590c6ce2b)
@@ -37,8 +37,8 @@
 		//checkout the source code and clean the repo
 		if(commitHash) {
-			final scmVars = checkout([$class: 'GitSCM', branches: [[name: commitHash ]]])
+			echo "Checking out commit <${commitHash}>"
+			final scmVars = checkout([$class: 'GitSCM', branches: [[name: commitHash ]], userRemoteConfigs: [[url: 'cforall@plg.uwaterloo.ca:software/cfa/cfa-cc']]])
 			echo GitLogMessage(scmVars.GIT_COMMIT, scmVars.GIT_PREVIOUS_COMMIT)
 		} else {
-
 			final scmVars = checkout scm
 			echo GitLogMessage(scmVars.GIT_COMMIT, scmVars.GIT_PREVIOUS_COMMIT)