Skip to content

Commit 0a1dba6

Browse files
authored
Merge pull request #1574 from vvbandeira/add-check-drc
ci: add CHECK_DRC_DB option
2 parents 8282351 + 371cb79 commit 0a1dba6

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

flow/test/test_helper.sh

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -47,6 +47,10 @@ if [ -f "$PRIVATE_DIR/util/utils.mk" ] && [ ! -z ${RUN_CALIBRE+x} ]; then
4747
$__make save_to_drc_db
4848
ret=$(( ret + $? ))
4949
fi
50+
if [ ! -z ${CHECK_DRC_DB+x} ]; then
51+
$__make check_drc_db
52+
ret=$(( ret + $? ))
53+
fi
5054
fi
5155

5256
# Only enabled abort on error at the end to allow script to reach make issue

0 commit comments

Comments
 (0)