2023-08-18 16:06:20 +02:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
set -e
|
|
|
|
echo "[BUILD] build system" 1>&2
|
2023-12-22 00:47:01 +01:00
|
|
|
pushd $(dirname "$0")/build_system > /dev/null
|
2023-09-25 17:04:44 +02:00
|
|
|
cargo build --release
|
2023-12-22 00:47:01 +01:00
|
|
|
popd > /dev/null
|
|
|
|
$(dirname "$0")/build_system/target/release/y $@
|