summaryrefslogtreecommitdiff
path: root/jenkins.sh
diff options
context:
space:
mode:
Diffstat (limited to 'jenkins.sh')
-rwxr-xr-xjenkins.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/jenkins.sh b/jenkins.sh
index 15f1f20b..28df922e 100755
--- a/jenkins.sh
+++ b/jenkins.sh
@@ -55,7 +55,7 @@ user_git_repo="${shared}/snapshots"
user_snapshots="${user_workspace}/snapshots"
# Server to store results on.
-fileserver="abe.tcwglab.linaro.org"
+fileserver="148.251.136.42"
# Compiler languages to build
languages=default