From d444f7809fb2f89c754085c7b303caa551b78a01 Mon Sep 17 00:00:00 2001
From: Wenzel Jakob <wenzel@inf.ethz.ch>
Date: Wed, 4 Jun 2014 18:08:38 +0200
Subject: [PATCH] disable core dumps in setpath.sh

---
 setpath.sh | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/setpath.sh b/setpath.sh
index b7e3a9c6..e43ffcc9 100755
--- a/setpath.sh
+++ b/setpath.sh
@@ -55,7 +55,4 @@ if [[ "$(uname)" == 'Darwin' ]]; then
 else
 	export LD_LIBRARY_PATH="$MITSUBA_DIR/dist:$LD_LIBRARY_PATH"
 	export PATH="$MITSUBA_DIR/dist:$PATH"
-
-	# Generate core dumps if something goes wrong
-	ulimit -c 1000000000
 fi