2021-08-08 07:20:06 -04:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
|
|
set -Eeuo pipefail
|
|
|
|
|
|
|
|
|
|
shopt -s nullglob
|
|
|
|
|
|
2021-08-08 07:23:53 -04:00
|
|
|
pushd "$(dirname "$0")" >/dev/null
|
|
|
|
|
|
2021-08-08 07:20:06 -04:00
|
|
|
pushd runners >/dev/null
|
|
|
|
|
for r in *; do
|
|
|
|
|
if [ ! -d "$r" ]; then
|
|
|
|
|
continue
|
|
|
|
|
fi
|
|
|
|
|
echo "Building $r..."
|
|
|
|
|
pushd "$r" >/dev/null
|
|
|
|
|
./build
|
|
|
|
|
popd >/dev/null
|
|
|
|
|
done
|
|
|
|
|
popd >/dev/null
|
|
|
|
|
|
|
|
|
|
echo "All done!"
|
2021-08-09 06:42:47 -04:00
|
|
|
|
|
|
|
|
popd >/dev/null
|
