diff options
Diffstat (limited to 'ci/common/suite.sh')
| -rw-r--r-- | ci/common/suite.sh | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/ci/common/suite.sh b/ci/common/suite.sh index 7951f8ce27..c0c470dce1 100644 --- a/ci/common/suite.sh +++ b/ci/common/suite.sh @@ -38,11 +38,3 @@ end_tests() { touch "${END_MARKER}" ended_successfully } - -run_suite() { - local command="$1" - local suite_name="$2" - - rm -f "${END_MARKER}" - eval "$command" || fail "$suite_name" -} |