diff options
-rwxr-xr-x | .ci/script.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.ci/script.sh b/.ci/script.sh index 930af752..d3aeb417 100755 --- a/.ci/script.sh +++ b/.ci/script.sh @@ -41,6 +41,6 @@ if [ $TRAVIS_OS_NAME == osx ]; then fi fi -if [ $TRAVIS_OS_NAME == linux ] && [ $DEPLOYMENT == 1 && [ ! -z $VERSION ] ; then +if [ $TRAVIS_OS_NAME == linux ] && [ $DEPLOYMENT == 1 ] && [ ! -z $VERSION ] ; then make linux-deploy; fi |