2023-10-22 17:45:03 +02:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
|
|
set -e
|
2023-10-22 18:33:31 +02:00
|
|
|
set -o pipefail
|
2023-10-22 17:45:03 +02:00
|
|
|
for c in tools/repo/check.d/*; do
|
|
|
|
|
echo "running $c..."
|
|
|
|
|
$c | while read line; do
|
2023-10-22 17:46:14 +02:00
|
|
|
echo "$c: $line"
|
2023-10-22 17:45:03 +02:00
|
|
|
done
|
|
|
|
|
done
|
|
|
|
|
|
|
|
|
|
echo "repo is OK"
|
|
|
|
|
exit 0
|
