projects
/
cdsspec-compiler.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
(from parent 2:
dbb1bb2
)
Merge branch 'master' of /home/git/model-checker
author
Brian Demsky
<bdemsky@uci.edu>
Thu, 15 Nov 2012 07:27:30 +0000
(23:27 -0800)
committer
Brian Demsky
<bdemsky@uci.edu>
Thu, 15 Nov 2012 07:27:30 +0000
(23:27 -0800)
config.h
patch
|
blob
|
history
diff --git
a/config.h
b/config.h
index aacbb81db38613e43e10ff5ab6c43751173c6d30..891dfd7f7a02dacec02ff339a0ff2bffeaa58fcc 100644
(file)
--- 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