max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore(.travis.yml.in): fix release upload

Browse source 
@gebner Is this the change you meant in the slack channel?
This commit is contained in:
Leonardo de Moura 2017-06-18 11:53:01 -07:00
parent 3ea5ac4340
commit fb24cc9957
1 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
.travis.yml.in
View file

@ -93,7 +93,6 @@ matrix:
CMAKE_BUILD_TYPE=Release
TARGET=build/lean-@LEAN_VERSION_MAJOR@.@LEAN_VERSION_MINOR@.@LEAN_VERSION_PATCH@-darwin.zip
UPLOAD=ON
PACKAGE=TRUE
- os: osx
env:
@ -124,7 +123,7 @@ script:
../src || exit
- make -j2 || exit
- if [[ $TEST != OFF ]]; then yes "A" | ctest -j2 --output-on-failure; fi
- if [[ $PACKAGE == TRUE ]]; then cpack; make package; fi
- if [[ $UPLOAD == ON ]]; then cpack; make package; fi
- if [[ $TEST_LEANPKG_REGISTRY == ON ]]; then ../script/test_registry.py; fi
- cd ..