diff options
author | Context Git Mirror Bot <phg42.2a@gmail.com> | 2015-04-08 15:15:05 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2015-04-08 15:15:05 +0200 |
commit | 32948ef106b3d0bbe9c0d7622c292a42080f7dbe (patch) | |
tree | 30df675c0fdcb654b636359aabfb9bb9f1b0a9cc /scripts/context/lua/mtx-context.lua | |
parent | f1cde6067499874bf126dfc6f5bedb598f117073 (diff) | |
download | context-32948ef106b3d0bbe9c0d7622c292a42080f7dbe.tar.gz |
2015-04-08 14:22:00
Diffstat (limited to 'scripts/context/lua/mtx-context.lua')
-rw-r--r-- | scripts/context/lua/mtx-context.lua | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/scripts/context/lua/mtx-context.lua b/scripts/context/lua/mtx-context.lua index ac93145be..919dbbb8c 100644 --- a/scripts/context/lua/mtx-context.lua +++ b/scripts/context/lua/mtx-context.lua @@ -740,10 +740,6 @@ function scripts.context.run(ctxdata,filename) ["jithash"] = a_jithash, } -- - if a_synctex then - report("warning: synctex is enabled") -- can add upto 5% runtime - end - -- if not a_timing then -- okay elseif c_flags.usemodule then @@ -760,6 +756,15 @@ function scripts.context.run(ctxdata,filename) c_flags.directives = "system.profile" end -- + if a_synctex then + report("warning: synctex is enabled") -- can add upto 5% runtime + if c_flags.directives then + c_flags.directives = format("system.synctex=%s,%s",a_synctex,c_flags.directives) + else + c_flags.directives = format("system.synctex=%s",a_synctex) + end + end + -- -- kindofrun: 1:first run, 2:successive run, 3:once, 4:last of maxruns -- for currentrun=1,maxnofruns do |