From 13463bb908d9bf628bb12d1aa32090a13a9626c2 Mon Sep 17 00:00:00 2001 From: Mike Gabriel Date: Sat, 3 Dec 2011 16:12:12 +0100 Subject: make git server configurable at beginning of script --- bin/itzks-build-package | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'bin/itzks-build-package') diff --git a/bin/itzks-build-package b/bin/itzks-build-package index 9dae301..35d8b49 100755 --- a/bin/itzks-build-package +++ b/bin/itzks-build-package @@ -21,6 +21,8 @@ test -z $1 && { echo "usage: {main,main/,nightly,n set -ex +GIT_SERVER="code.it-zukunft-schule.de" + set_vars() { USE_SUDO="yes" PDEBUILD="pdebuild --pbuilder qemubuilder" @@ -112,7 +114,7 @@ prepare_workspace() { git reset --hard else cd $(dirname $PROJECT_DIR) - git clone git://code.das-netzwerkteam.de/itzks/$PROJECT.git + git clone git://$GIT_SERVER/$PROJECT.git cd $PROJECT git checkout --force $CHECKOUT || git checkout --force -b $CHECKOUT; fi -- cgit v1.2.3