diff options
author | lloyd <[email protected]> | 2015-05-11 12:36:28 +0000 |
---|---|---|
committer | lloyd <[email protected]> | 2015-05-11 12:36:28 +0000 |
commit | 1a2836ce293cd10825c83dc12159e1e60fe7becc (patch) | |
tree | a511c1c15221d59e2c1f44bdd4924ad6047770fc | |
parent | 15278745e706e2be4a51a1ddf92c02bc36a6d3b9 (diff) |
Fix lcov script
-rwxr-xr-x | src/scripts/ci/after_success.sh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/scripts/ci/after_success.sh b/src/scripts/ci/after_success.sh index dc84210cb..dc20e6914 100755 --- a/src/scripts/ci/after_success.sh +++ b/src/scripts/ci/after_success.sh @@ -1,7 +1,5 @@ #!/bin/sh -BUILD_MODE=$1 - set -ev if [ "$BUILD_MODE" = "coverage" ] |