From 9963cf1abad60d191ba46be524789d1fc8aa1e86 Mon Sep 17 00:00:00 2001
From: Hans-Christoph Steiner <hans@eds.org>
Date: Thu, 14 Feb 2019 14:09:06 +0100
Subject: [PATCH] jenkins-setup-build-environment: fix typo

---
 jenkins-setup-build-environment | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/jenkins-setup-build-environment b/jenkins-setup-build-environment
index c1e24395..678772cd 100755
--- a/jenkins-setup-build-environment
+++ b/jenkins-setup-build-environment
@@ -57,7 +57,7 @@ rm -rf "$WORKSPACE"/../*/.testfiles
 
 cd $WORKSPACE
 cat <<EOF > $WORKSPACE/makebuildserver.config.py
-debian_mirror = 'http://deb.debian.org/debian/'"
+debian_mirror = 'http://deb.debian.org/debian/'
 boot_timeout = 1200
 apt_package_cache = True
 copy_caches_from_host = True