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