mirrors/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2025-11-04 06:30:27 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

jenkins-setup-build-environment: fix typo

Browse source
This commit is contained in:
Hans-Christoph Steiner 2019-02-14 14:09:06 +01:00
parent a8957447d6
commit 9963cf1aba
No known key found for this signature in database
GPG key ID: 3E177817BA1B9BFA
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
jenkins-setup-build-environment
View file

@ -57,7 +57,7 @@ rm -rf "$WORKSPACE"/../*/.testfiles
cd $WORKSPACE cd $WORKSPACE
cat <<EOF > $WORKSPACE/makebuildserver.config.py cat <<EOF > $WORKSPACE/makebuildserver.config.py
debian_mirror = 'http://deb.debian.org/debian/'" debian_mirror = 'http://deb.debian.org/debian/'
boot_timeout = 1200 boot_timeout = 1200
apt_package_cache = True apt_package_cache = True
copy_caches_from_host = True copy_caches_from_host = True