diff options
author | Hans Hagen <pragma@wxs.nl> | 2011-06-13 23:08:00 +0200 |
---|---|---|
committer | Hans Hagen <pragma@wxs.nl> | 2011-06-13 23:08:00 +0200 |
commit | 9e0ce734ca0a774148fa95876ec1e778a5ec2d65 (patch) | |
tree | 70bc7f392783dd50baf21fcac64fccae8e96c404 /scripts | |
parent | 755ec706c4e4e4eb6315e2f2f9f2cfc0eed439aa (diff) | |
download | context-9e0ce734ca0a774148fa95876ec1e778a5ec2d65.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 |