diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2023-09-25 17:04:44 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2023-09-25 17:04:44 +0200 |
| commit | ccf57997826581da83eff3a29cadc1c9fb728875 (patch) | |
| tree | 925afb7b9682aa7a9488b798503b04b066d2c93f | |
| parent | e39f3a24847ecea0542c8a3b9c776913c6e7be83 (diff) | |
| download | rust-ccf57997826581da83eff3a29cadc1c9fb728875.tar.gz rust-ccf57997826581da83eff3a29cadc1c9fb728875.zip | |
Use cargo to build the build system binary
| -rwxr-xr-x | y.sh | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/y.sh b/y.sh index 481b909c92a..188109743e3 100755 --- a/y.sh +++ b/y.sh @@ -2,6 +2,7 @@ set -e echo "[BUILD] build system" 1>&2 -mkdir -p build_system/target -rustc build_system/src/main.rs -o build_system/target/y -Cdebuginfo=1 --edition 2021 -exec ./build_system/target/y "$@" +cd build_system +cargo build --release +cd .. +./build_system/target/release/y $@ |