948cee1ce1
This patch updates the shell scripts with some of the common best practices, which should make them more resilient to unusual failures and unexpected environments (in particular, directories with spaces). Most of these were identified by shellcheck.
18 lines
176 B
Bash
Executable File
18 lines
176 B
Bash
Executable File
#!/bin/bash
|
|
|
|
set -e
|
|
. "$(dirname "$0")/util/lib.sh"
|
|
|
|
init
|
|
|
|
FAILED=0
|
|
|
|
for i in t-*; do
|
|
echo "$i" ...
|
|
setsid -w "$i/run.sh"
|
|
FAILED=$(( FAILED + $? ))
|
|
echo
|
|
done
|
|
|
|
exit $FAILED
|