6388: Remove old --apt-server switch from run-build-packages.

Refs #6388.

diff --git a/jenkins/run-build-packages.sh b/jenkins/run-build-packages.sh
index b54761c79176b2735606c2690051f74d3d5367de..7f4dd2910d453a4e48d9e6e68eb823a6716abd46 100755 (executable)
--- a/jenkins/run-build-packages.sh
+++ b/jenkins/run-build-packages.sh
@@ -35,7 +35,7 @@ BUILD_BUNDLE_PACKAGES=0
 TARGET=debian7
 
 PARSEDOPTS=$(getopt --name "$0" --longoptions \
-    help,upload,scp-user:,scp-host:,apt-server:,build-bundle-packages,debug,target: \
+    help,upload,scp-user:,scp-host:,build-bundle-packages,debug,target: \
     -- "" "$@")
 if [ $? -ne 0 ]; then
     exit 1
@@ -52,7 +52,7 @@ while [ $# -gt 0 ]; do
         --scp-user)
             SCPUSER="$2"; shift
             ;;
-        --scp-host|--apt-server)
+        --scp-host)
             SCPHOST="$2"; shift
             ;;
         --target)