From 3a7a25b2e535dfaee33e0aac47f3d06608f6e8a6 Mon Sep 17 00:00:00 2001
From: Xavier L'Heureux <xavier.lheureux@icloud.com>
Date: Thu, 21 Mar 2019 17:52:37 +0000
Subject: [PATCH] Fix Gitlab reports: use upstream master

---
 ci/run_benchmark.sh | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/ci/run_benchmark.sh b/ci/run_benchmark.sh
index 9ddf5a74..e6f02a57 100755
--- a/ci/run_benchmark.sh
+++ b/ci/run_benchmark.sh
@@ -1,10 +1,13 @@
 #!/bin/sh
 
-git checkout origin/master
+git remote add upstream https://gitlab.redox-os.org/redox-os/ion.git
+git fetch upstream
+git checkout upstream/master
 cargo bench
 cargo build --release
 PREV_SIZE=$(ls -al target/release/ion | cut -d' ' -f5)
-git reset --hard HEAD
+
+git stash push
 git checkout -
 cargo bench
 cargo build --release
@@ -68,4 +71,4 @@ $result
 
 echo $result > target/report.xml
 
-exit $(test "$total_worse" -eq "0"; echo $?)
+test "$total_worse" -eq "0"
-- 
GitLab