diff options
author | Simon Warta <[email protected]> | 2015-07-10 09:02:20 +0200 |
---|---|---|
committer | Simon Warta <[email protected]> | 2015-07-10 09:02:20 +0200 |
commit | caeb53721d1ed0efc386017a4482c104cc09946c (patch) | |
tree | fa2866621cdaad4ed04015ae8b66316a720969f7 /src/scripts/ci/after_success.sh | |
parent | 41c73d83218e968c6f7ed0b71bc63f8684152c50 (diff) | |
parent | 6c421f58a2d9c2c8878d58bb98e3c501f99d00d8 (diff) |
Merge pull request #186 from webmaster128/test-make-install
Test 'make install' in CI
Diffstat (limited to 'src/scripts/ci/after_success.sh')
-rwxr-xr-x | src/scripts/ci/after_success.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/scripts/ci/after_success.sh b/src/scripts/ci/after_success.sh index 814e49d93..9ac4a2b51 100755 --- a/src/scripts/ci/after_success.sh +++ b/src/scripts/ci/after_success.sh @@ -9,3 +9,5 @@ if [ "$BUILD_MODE" = "coverage" ]; then # Assume that $COVERALLS_REPO_TOKEN might not be set (e.g. pull requests) coveralls-lcov --repo-token="$COVERALLS_REPO_TOKEN" coverage.info fi + +sudo make install |