2018-08-10 19:09:21 +02:00
|
|
|
#!/bin/bash
|
2019-07-30 14:51:05 +02:00
|
|
|
set -e
|
|
|
|
|
|
2021-02-01 10:11:46 +01:00
|
|
|
./build.sh --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
|
|
|
|
2020-11-02 21:17:52 +09:00
|
|
|
./build.sh "$@"
|
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
|
