From 3e7f69aae251153a6306d079f813f1c71cf3c3eb Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Tue, 11 Jul 2017 10:25:05 -0700
Subject: [PATCH] add little script to build libstd

That's easier to use than having to `cd xargo`
---
 .travis.yml    | 4 +---
 xargo/build.sh | 3 +++
 2 files changed, 4 insertions(+), 3 deletions(-)
 create mode 100755 xargo/build.sh

diff --git a/.travis.yml b/.travis.yml
index 5bc7f291d76..d9dd443d7ac 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -12,9 +12,7 @@ before_script:
 script:
 - |
   # get ourselves a MIR-ful libstd
-  cd xargo &&
-  RUSTFLAGS='-Zalways-encode-mir' xargo build &&
-  cd ..
+  xargo/build.sh
 - |
   # Test plain miri
   cargo build &&
diff --git a/xargo/build.sh b/xargo/build.sh
new file mode 100755
index 00000000000..e744abaadfd
--- /dev/null
+++ b/xargo/build.sh
@@ -0,0 +1,3 @@
+#!/bin/bash
+cd "$(readlink -e "$(dirname "$0")")"
+RUSTFLAGS='-Zalways-encode-mir' xargo build
-- 
GitLab