blob: bbcbbba8315dc41b140c20b4942f8dc75a267269 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#!/bin/bash
# argument is list of filters
FILTERS=$*
let err=0
for d in $FILTERS ; do
make --no-print-directory -C $d test
if [ $? -eq 0 ]; then
echo "PASS $d"
else
echo "FAIL $d"
err=1
fi
done
exit $err
|