projects
/
matthijs
/
master-project
/
report.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add reference about Core's operational semantics.
[matthijs/master-project/report.git]
/
SConstruct
diff --git
a/SConstruct
b/SConstruct
index a05a298afd1c3997c7f07767511e1055c8db9fc8..05bd779b8305fdcc75f5603fbad8d05b145f836a 100644
(file)
--- a/
SConstruct
+++ b/
SConstruct
@@
-19,7
+19,8
@@
if ARGUMENTS.get('once'):
else:
once = ''
else:
once = ''
-contextBuilder = Builder(action='nice texexec --lua $SOURCE%s' % once,
+# Limit to 500MB of virtual memory
+contextBuilder = Builder(action='ulimit -v 512000; nice texexec --lua $SOURCE%s' % once,
suffix='.pdf',
src_suffix='.tex')
env.Append(BUILDERS={'Context': contextBuilder})
suffix='.pdf',
src_suffix='.tex')
env.Append(BUILDERS={'Context': contextBuilder})