diff options
Diffstat (limited to 'scripts/command/docker_coverage_report.sh')
| -rwxr-xr-x | scripts/command/docker_coverage_report.sh | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/scripts/command/docker_coverage_report.sh b/scripts/command/docker_coverage_report.sh deleted file mode 100755 index e4d3a92aa..000000000 --- a/scripts/command/docker_coverage_report.sh +++ /dev/null @@ -1,9 +0,0 @@ -#!/bin/bash - -DOCKER_ENV_VARS+=" -e SRC_PREFIX=${NNFW_PROJECT_PATH}" - -pushd ${NNFW_PROJECT_PATH} > /dev/null - -source run docker-run-user bash -c "./run gen_coverage_report.sh" - -popd > /dev/null |