diff options
author | Hans Hagen <pragma@wxs.nl> | 2012-05-11 10:07:00 +0200 |
---|---|---|
committer | Hans Hagen <pragma@wxs.nl> | 2012-05-11 10:07:00 +0200 |
commit | e888c1ec949100dee585a5206d76b49cbee91ac4 (patch) | |
tree | 117431b77b6439e14826f08975df6972f1a94e23 /tex/context/base/grph-inc.lua | |
parent | 98b29c780ec554009fc3942f64fbab5e150b8e66 (diff) | |
download | context-e888c1ec949100dee585a5206d76b49cbee91ac4.tar.gz |
beta 2012.05.11 10:07
Diffstat (limited to 'tex/context/base/grph-inc.lua')
-rw-r--r-- | tex/context/base/grph-inc.lua | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/tex/context/base/grph-inc.lua b/tex/context/base/grph-inc.lua index 7377682a9..15aff8925 100644 --- a/tex/context/base/grph-inc.lua +++ b/tex/context/base/grph-inc.lua @@ -1081,12 +1081,16 @@ local function makeoptions(options) return (to == "table" and concat(options," ")) or (to == "string" and options) or "" end -local function runprogram(...) - local command = format(...) - if trace_conversion or trace_programs then - report_inclusion("running %s",command) +local function runprogram(template,binary,...) + local command = format(template,binary,...) + if os.which(binary) then + if trace_conversion or trace_programs then + report_inclusion("running: %s",command) + end + os.spawn(command) + else + report_inclusion("program '%s' is not installed, not running: %s",binary,command) end - os.spawn(command) end -- -- -- eps -- -- -- |