regenerated

Change-Id: I5b6b78468b1684a4df5ef4c86d455b09c06cd549

1 files changed, 15 insertions, 0 deletions

diff --git a/configure b/configure
index 21fca0a9..ba8d917f 100755
--- a/configure
+++ b/configure
@@ -606,6 +606,7 @@ LOCAL_SNAPSHOTS
 SYSROOTS
 CBUILD_PATH
 SOURCES_CONF
+FILESERVER
 CBUILD_TOP
 BUILDDATE
 CCRYPT
@@ -686,6 +687,7 @@ with_dbuser
 with_dbpasswd
 with_dbhost
 with_toplevel
+with_fileserver
 with_sources_conf
 with_sysroot
 with_local_snapshots
@@ -1339,6 +1341,7 @@ Optional Packages:
   --with-dbpasswd         set the user password for the database
   --with-dbhost           set the database hostname
   --with-toplevel
+  --with-fileserver       the remote file server hostname
   --with-sources-conf
   --with-sysroot
   --with-local-snapshots  Where downloaded tarballs are stored
@@ -3704,6 +3707,18 @@ $as_echo "$as_me: WARNING: ${CBUILD_TOP} does not exist so creating directory!"
    mkdir -p ${CBUILD_TOP}
 fi
 
+# The various Jenkins jbs copy log files and rest results to a remote file
+# server for storage and comparison. For the TCWG, this has been 'toolchain64'.
+
+# Check whether --with-fileserver was given.
+if test "${with_fileserver+set}" = set; then :
+  withval=$with_fileserver; FILESERVER=${withval}
+else
+  FILESERVER='toolchain64'
+fi
+
+
+
 
 # Check whether --with-sources-conf was given.
 if test "${with_sources_conf+set}" = set; then :