From: Brian Demsky <bdemsky@uci.edu>
Date: Thu, 15 Nov 2012 04:55:23 +0000 (-0800)
Subject: Merge branch 'master' of /home/git/model-checker
X-Git-Tag: oopsla2013~539
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=44118f596eb7cd9b4b0b5037fbbf958db001accc;hp=45206350b4022732229f8a48a3c7b08885e874a7;p=model-checker.git

Merge branch 'master' of /home/git/model-checker
---

diff --git a/config.h b/config.h
index aacbb81..891dfd7 100644
--- a/config.h
+++ b/config.h
@@ -38,7 +38,7 @@
 #define USE_MPROTECT_SNAPSHOT 2
 
 /** Size of signal stack */
-#define SIGSTACKSIZE 32768
+#define SIGSTACKSIZE 65536
 
 /** Page size configuration */
 #define PAGESIZE 4096