From 3726014943ecab72267f2ff8925244fc5c32e37a Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.anjos@idiap.ch>
Date: Fri, 23 Sep 2016 12:30:42 +0200
Subject: [PATCH] Fix update
---
gitlab/install.sh | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/gitlab/install.sh b/gitlab/install.sh
index f2f2600..6089fdd 100755
--- a/gitlab/install.sh
+++ b/gitlab/install.sh
@@ -34,11 +34,12 @@ run_cmd() {
get_script() {
+ local url="https://gitlab.idiap.ch/bob/bob.admin/raw/master/gitlab/${2}"
local curlopt="--location --silent --show-error --output ${1}/${2}"
if [ -e ${1}/${2} ]; then #check for updates
local checkopt="${curlopt} --time-cond ${1}/${2} --silent"
checkopt="${checkopt} --write-out %{http_code}"
- if [ "$(curl ${checkopt})" == "200" ]; then
+ if [ "$(curl ${checkopt} ${url})" == "200" ]; then
log_info "CI script ${1}/${2} needs updating..."
rm -f ${1}/${2}
else
@@ -47,7 +48,6 @@ get_script() {
fi
fi
# check file needs updating
- local url="https://gitlab.idiap.ch/bob/bob.admin/raw/master/gitlab/${2}"
run_cmd curl ${curlopt} ${url}
}
--
GitLab