Index: ../trunk-jpl/src/c/Makefile.am
===================================================================
--- ../trunk-jpl/src/c/Makefile.am	(revision 20529)
+++ ../trunk-jpl/src/c/Makefile.am	(revision 20530)
@@ -646,7 +646,6 @@
 
 libISSMOverload_la_CFLAGS  = -D_C_ -fPIC $(COPTFLAGS) $(CFLAGS)
 #}}}
-
 #Executable {{{
 if ANDROID
 if ANDROIDEXE
Index: ../trunk-jpl/jenkins/jenkins.sh
===================================================================
--- ../trunk-jpl/jenkins/jenkins.sh	(revision 20529)
+++ ../trunk-jpl/jenkins/jenkins.sh	(revision 20530)
@@ -7,6 +7,9 @@
 rm -rf $ISSM_DIR/nightlylog
 mkdir  $ISSM_DIR/nightlylog
 
+#Server URI
+SERVER='https://ross.ics.uci.edu:8080'
+
 #Get configuration
 #Source config file{{{
 if [ $# -ne 1 ];
@@ -43,7 +46,7 @@
 
 	#Get changes from jenkins itself (svn requires credentials)
 	rm -rf changes
-	wget http://ross.ics.uci.edu:8080/job/$JOB_NAME/$BUILD_NUMBER/changes > /dev/null 2>&1
+	wget $SERVER/job/$JOB_NAME/$BUILD_NUMBER/changes > /dev/null 2>&1
 
 	#Process html page and get the list of files that has changed (tricky...)
 	cat changes | grep 'alt="The file was modified"' |sed -e 's/alt="The file was modified"/\
