From: Brian Demsky <bdemsky@uci.edu>
Date: Thu, 15 Nov 2012 04:55:06 +0000 (-0800)
Subject: avoid warning
X-Git-Tag: oopsla2013~540
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=58381d5994f91544f907e1066a02befda11da7c1;ds=sidebyside

avoid warning
---

diff --git a/config.h b/config.h
index 109e8d8..971ea27 100644
--- a/config.h
+++ b/config.h
@@ -34,7 +34,7 @@
 #define USE_MPROTECT_SNAPSHOT 2
 
 /** Size of signal stack */
-#define SIGSTACKSIZE 32768
+#define SIGSTACKSIZE 65536
 
 /** Page size configuration */
 #define PAGESIZE 4096