diff options
| author | Ralf Jung <post@ralfj.de> | 2017-08-07 13:52:28 -0700 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2017-08-07 13:52:28 -0700 |
| commit | d0ac2b144d133ffb0b840880ae9ecf1566f8f603 (patch) | |
| tree | bc3cd687efd3242f1883806eab186e7949a0e4ce | |
| parent | 547f49ce8c002bc231c4a8a0efb42dcf88135d4b (diff) | |
| download | rust-d0ac2b144d133ffb0b840880ae9ecf1566f8f603.tar.gz rust-d0ac2b144d133ffb0b840880ae9ecf1566f8f603.zip | |
make xargo/build.sh more cross-platform
| -rwxr-xr-x | xargo/build.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/xargo/build.sh b/xargo/build.sh index d4b0d06024a..15a7c770910 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 |