Merge pull request #291 from RalfJung/cross-platform
make xargo/build.sh more cross-platform
This commit is contained in:
commit
14e8f500af
1 changed files with 2 additions and 2 deletions
|
|
@ -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
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue