projects
/
model-checker.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
d1fab60
)
avoid warning
author
Brian Demsky
<bdemsky@uci.edu>
Thu, 15 Nov 2012 04:55:06 +0000
(20:55 -0800)
committer
Brian Demsky
<bdemsky@uci.edu>
Thu, 15 Nov 2012 04:55:06 +0000
(20:55 -0800)
config.h
patch
|
blob
|
history
diff --git
a/config.h
b/config.h
index
109e8d8
..
971ea27
100644
(file)
--- 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