2021-03-05 19:12:59 +01:00
|
|
|
#!/usr/bin/env bash
|
2019-07-30 14:51:05 +02:00
|
|
|
set -e
|
|
|
|
|
|
2021-07-07 11:14:20 +02:00
|
|
|
./y.rs build --sysroot none "$@"
|
2018-08-08 19:46:16 +02:00
|
|
|
|
2018-08-31 19:50:26 +02:00
|
|
|
rm -r target/out || true
|
2018-08-14 22:01:18 +02:00
|
|
|
|
2020-11-03 11:00:04 +01:00
|
|
|
scripts/tests.sh no_sysroot
|
2018-08-14 22:01:18 +02:00
|
|
|
|
2021-07-07 11:14:20 +02:00
|
|
|
./y.rs build "$@"
|
2018-08-14 22:01:18 +02:00
|
|
|
|
2020-11-03 11:00:04 +01:00
|
|
|
scripts/tests.sh base_sysroot
|
|
|
|
|
scripts/tests.sh extended_sysroot
|
