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