|
@@ -100,8 +100,8 @@ script:
|
|
|
fi
|
|
|
- cd ..
|
|
|
after_success:
|
|
|
-- if [[ ( ${TRAVIS_OS_NAME} == "linux" && ${CC} == "gcc") ]]; ./tools/.deployGH.sh; fi;
|
|
|
-- if [[ ( ${TRAVIS_OS_NAME} == "linux" && ${CC} == "gcc") ]]; ./tools/.coverity.sh; fi;
|
|
|
+- if [[ ( ${TRAVIS_OS_NAME} == "linux" && ${CC} == "gcc") ]]; then ./tools/.deployGH.sh; fi
|
|
|
+- if [[ ( ${TRAVIS_OS_NAME} == "linux" && ${CC} == "gcc") ]]; then ./tools/.coverity.sh; fi
|
|
|
before_deploy:
|
|
|
- rm build -rf && mkdir -p build && cd build
|
|
|
- echo "Cross compile release build for Raspberry Pi"
|