2017-05-01 18:04:05 +02:00
|
|
|
#!/bin/bash
|
|
|
|
|
2019-03-21 02:04:41 +01:00
|
|
|
if [ "$CIRCLE_PULL_REQUEST" != "" ]; then
|
2020-07-15 20:53:19 +02:00
|
|
|
paths=$(git diff --diff-filter ACMR --name-only origin/main.. -- test/)
|
2017-05-01 18:04:05 +02:00
|
|
|
|
|
|
|
if [ "$paths" == "" ]; then
|
|
|
|
echo No test files added or modified. Exiting.
|
|
|
|
exit 0
|
|
|
|
fi
|
|
|
|
|
|
|
|
echo New or modified test files:
|
|
|
|
echo "$paths"
|
|
|
|
|
|
|
|
else
|
|
|
|
paths="test/"
|
|
|
|
fi
|
|
|
|
|
2018-12-18 18:39:57 +01:00
|
|
|
./tools/lint/lint.py --exceptions lint.exceptions $paths
|