remove --with-fileserver option now that the lab is back online

1 files changed, 1 insertions, 1 deletions

diff --git a/jenkins.sh b/jenkins.sh
index 14c37e5..5871376 100755
--- a/jenkins.sh
+++ b/jenkins.sh
@@ -172,7 +172,7 @@ fi
 if test x"${abe_dir}" = x; then
     abe_dir=${topdir}
 fi
-$CONFIG_SHELL ${abe_dir}/configure --with-local-snapshots=${user_snapshots} --with-git-reference-dir=${shared}/snapshots --with-fileserver=${fileserver}
+$CONFIG_SHELL ${abe_dir}/configure --with-local-snapshots=${user_snapshots} --with-git-reference-dir=${shared}/snapshots
 
 # load commonly used varibles set by configure
 if test -e "${PWD}/host.conf"; then