diff options
author | Marius <mariausol@gmail.com> | 2011-06-14 00:20:14 +0300 |
---|---|---|
committer | Marius <mariausol@gmail.com> | 2011-06-14 00:20:14 +0300 |
commit | faaa984b45c82f7345e0a8daf457685feae54dcc (patch) | |
tree | 3a4863cf12bc797c0489b6295e5f76725a710203 /scripts | |
parent | 510cb140d2e8baed13b8b27daa02f3ad2f5df3e1 (diff) | |
download | context-faaa984b45c82f7345e0a8daf457685feae54dcc.tar.gz |
beta 2011.06.13 23:08
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/context/lua/mtx-context.lua | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/scripts/context/lua/mtx-context.lua b/scripts/context/lua/mtx-context.lua index 5645e4760..36c71e463 100644 --- a/scripts/context/lua/mtx-context.lua +++ b/scripts/context/lua/mtx-context.lua @@ -1219,7 +1219,8 @@ local persistent_runfiles = { } local special_runfiles = { - "-mpgraph*", "-mprun*", "-temp-*" +--~ "-mpgraph*", "-mprun*", "-temp-*" -- hm, wasn't this escaped? + "-mpgraph", "-mprun", "-temp-" } local function purge_file(dfile,cfile) @@ -1675,7 +1676,7 @@ elseif environment.argument("purge") then scripts.context.purge() elseif environment.argument("purgeall") then -- only when no filename given, supports --pattern - scripts.context.purge(true) + scripts.context.purge(true,nil,true) else application.help("basic") end |