diff options
Diffstat (limited to 'scripts/osx/run.sh')
| -rwxr-xr-x | scripts/osx/run.sh | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/scripts/osx/run.sh b/scripts/osx/run.sh index f386318c8b..4f086424ba 100755 --- a/scripts/osx/run.sh +++ b/scripts/osx/run.sh @@ -5,14 +5,6 @@ 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 ################################################################################ |