diff options
| author | Context Git Mirror Bot <phg42.2a@gmail.com> | 2015-08-24 11:15:06 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2015-08-24 11:15:06 +0200 |
| commit | a3f1162458e295b0c0adcd5cbd41529ca9ca7c4d (patch) | |
| tree | 0eb7c59a2bfb0e59d466362a03a4f6020e46a689 /scripts | |
| parent | d04b4e27d9dcfe3a245b83b2ea7885c95e57b2ca (diff) | |
| download | context-a3f1162458e295b0c0adcd5cbd41529ca9ca7c4d.tar.gz | |
2015-08-24 10:56:00
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/context/lua/mtx-context.lua | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/context/lua/mtx-context.lua b/scripts/context/lua/mtx-context.lua index 0837a1b50..1cd288d3a 100644 --- a/scripts/context/lua/mtx-context.lua +++ b/scripts/context/lua/mtx-context.lua @@ -590,6 +590,7 @@ function scripts.context.run(ctxdata,filename) local a_texformat = getargument("texformat") local a_keeptuc = getargument("keeptuc") local a_keeplog = getargument("keeplog") + local a_export = getargument("export") -- the following flag is not officially supported because i cannot forsee -- side effects (so no bug reports please) .. we provide --sandbox that @@ -716,6 +717,7 @@ function scripts.context.run(ctxdata,filename) fulljobname = validstring(filename), files = concat(files,","), ctx = validstring(ctxname), + export = a_export and true or nil, } -- for k, v in next, environment.arguments do |