diff options
-rw-r--r-- | bbot/agent.cxx | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bbot/agent.cxx b/bbot/agent.cxx index f7bccde..ac4905d 100644 --- a/bbot/agent.cxx +++ b/bbot/agent.cxx @@ -609,6 +609,8 @@ try } else { + try_rmfile (rf); + // <name>-<toolchain>-<xxx> // const dir_path xp ( |