34 lines
461 B
Bash
Executable File
34 lines
461 B
Bash
Executable File
#!/bin/bash
|
|
|
|
set -e
|
|
|
|
cargo build --release --examples
|
|
|
|
examples=(
|
|
donate empty float mutex notify once queue rwlock sem simple sleep water-sem
|
|
water-condvar
|
|
)
|
|
|
|
exitcode=0
|
|
|
|
trap 'exitcode=1' ABRT
|
|
|
|
script_pid="$$"
|
|
|
|
function run_example {
|
|
trap '' ABRT
|
|
if ! "target/release/examples/$1"; then
|
|
echo "$1" failed
|
|
kill -ABRT -- "$script_pid"
|
|
fi
|
|
}
|
|
|
|
for e in "${examples[@]}"; do
|
|
echo "running $e..."
|
|
run_example "$e" &
|
|
done
|
|
|
|
wait
|
|
|
|
exit "$exitcode"
|