2017-06-09 15:28:18 +08:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
pushd () {
|
|
|
|
command pushd "$@" > /dev/null
|
|
|
|
}
|
|
|
|
|
|
|
|
popd () {
|
|
|
|
command popd "$@" > /dev/null
|
|
|
|
}
|
|
|
|
|
|
|
|
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
|
|
|
|
cd $DIR
|
|
|
|
|
|
|
|
for i in *; do
|
|
|
|
if [ ! -d $i ]; then continue; fi
|
|
|
|
pushd $i
|
|
|
|
echo "Running: $i"
|
2017-11-07 17:22:16 +08:00
|
|
|
./run.sh || exit 1
|
2017-06-09 15:28:18 +08:00
|
|
|
echo
|
|
|
|
popd
|
|
|
|
done
|