diff options
Diffstat (limited to 'scripts/osx/run.sh')
| -rwxr-xr-x | scripts/osx/run.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/scripts/osx/run.sh b/scripts/osx/run.sh index be9088d2f6..b84ed04c21 100755 --- a/scripts/osx/run.sh +++ b/scripts/osx/run.sh @@ -5,6 +5,14 @@ set -o pipefail BUILDTYPE=${BUILDTYPE:-Release} +source ./scripts/travis_helper.sh + +# Add Mason to PATH +export PATH="`pwd`/.mason:${PATH}" MASON_DIR="`pwd`/.mason" + +# Set the core file limit to unlimited so a core file is generated upon crash +ulimit -c unlimited -S + ################################################################################ # Build ################################################################################ |