diff options
Diffstat (limited to 'CI/travis/make_darwin')
| -rwxr-xr-x | CI/travis/make_darwin | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/CI/travis/make_darwin b/CI/travis/make_darwin deleted file mode 100755 index aff1af9..0000000 --- a/CI/travis/make_darwin +++ /dev/null @@ -1,13 +0,0 @@ -#!/bin/sh -e - -if [ "x${COVERITY_SCAN_PROJECT_NAME}" != "x" ] ; then exit 0; fi - -cd $TRAVIS_BUILD_DIR/build -cmake -DOSX_PACKAGE=ON .. -make -ls - -cd $TRAVIS_BUILD_DIR/build_tar -cmake -DOSX_PACKAGE=OFF -DENABLE_PACKAGING=ON .. -make && make package -ls |