rust/xargo/build.sh

#!/bin/sh
cd "$(dirname "$0")"
# The flags here should be kept in sync with `add_miri_default_args` in `src/lib.rs`.
RUSTFLAGS='-Zalways-encode-mir -Zmir-emit-retag -Zmir-opt-level=0' xargo build
make xargo/build.sh more cross-platform 2017-08-07 15:52:28 -05:00			`#!/bin/sh`
			`cd "$(dirname "$0")"`
make the -Z flags we use more consistent 2018-10-24 10:16:41 -05:00			# The flags here should be kept in sync with `add_miri_default_args` in `src/lib.rs`.
			`RUSTFLAGS='-Zalways-encode-mir -Zmir-emit-retag -Zmir-opt-level=0' xargo build`