From d0ac2b144d133ffb0b840880ae9ecf1566f8f603 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Mon, 7 Aug 2017 13:52:28 -0700
Subject: [PATCH] make xargo/build.sh more cross-platform

---
 xargo/build.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/xargo/build.sh b/xargo/build.sh
index d4b0d06024af..15a7c770910d 100755
--- a/xargo/build.sh
+++ b/xargo/build.sh
@@ -1,3 +1,3 @@
-#!/bin/bash
-cd "$(readlink -e "$(dirname "$0")")"
+#!/bin/sh
+cd "$(dirname "$0")"
 RUSTFLAGS='-Zalways-encode-mir -Zmir-emit-validate=1' xargo build