diff options
Diffstat (limited to 'src/CI/travis/make_darwin')
| -rwxr-xr-x | src/CI/travis/make_darwin | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/CI/travis/make_darwin b/src/CI/travis/make_darwin index 4fe4e44..aff1af9 100755 --- a/src/CI/travis/make_darwin +++ b/src/CI/travis/make_darwin @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/sh -e if [ "x${COVERITY_SCAN_PROJECT_NAME}" != "x" ] ; then exit 0; fi |