diff options
Diffstat (limited to '.gitlab-ci/deqp-runner.sh')
| -rwxr-xr-x | .gitlab-ci/deqp-runner.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.gitlab-ci/deqp-runner.sh b/.gitlab-ci/deqp-runner.sh index 59cfd820214..d4de8f74baf 100755 --- a/.gitlab-ci/deqp-runner.sh +++ b/.gitlab-ci/deqp-runner.sh @@ -60,6 +60,10 @@ if [ -n "$CI_NODE_INDEX" ]; then sed -ni $CI_NODE_INDEX~$CI_NODE_TOTAL"p" /tmp/case-list.txt fi +if [ -n "$DEQP_CASELIST_FILTER" ]; then + sed -i "/$DEQP_CASELIST_FILTER/p" /tmp/case-list.txt +fi + if [ ! -s /tmp/case-list.txt ]; then echo "Caselist generation failed" exit 1 |