make xargo/build.sh more cross-platform

RalfJung · RalfJung · commit d0ac2b144d13 · 2017-08-07T13:52:28.000-07:00
diff --git 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
