2023-10-09 14:53:34 -05:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
set -e
|
|
|
|
echo "[BUILD] build system" 1>&2
|
2024-03-05 12:58:36 -06:00
|
|
|
pushd $(dirname "$0")/build_system > /dev/null
|
2023-10-09 14:53:34 -05:00
|
|
|
cargo build --release
|
2024-03-05 12:58:36 -06:00
|
|
|
popd > /dev/null
|
|
|
|
$(dirname "$0")/build_system/target/release/y $@
|