diff options
Diffstat (limited to 'src/scripts/ci')
| -rwxr-xr-x | src/scripts/ci/after_success.sh | 2 | ||||
| -rw-r--r-- | src/scripts/ci/appveyor.yml | 1 |
2 files changed, 3 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 diff --git a/src/scripts/ci/appveyor.yml b/src/scripts/ci/appveyor.yml index 41625440d..df8d4d834 100644 --- a/src/scripts/ci/appveyor.yml +++ b/src/scripts/ci/appveyor.yml @@ -7,3 +7,4 @@ build_script: - python configure.py --disable-shared --via-amalgamation --cpu=x86_32 --cc=msvc --cc-abi-flags="/bigobj" - nmake - botan-test + - nmake install |