diff -r 41790d616f63 -r eab51f249c70 Admin/mira.py
--- a/Admin/mira.py	Wed Sep 05 23:59:44 2012 +0200
+++ b/Admin/mira.py	Thu Sep 06 01:37:24 2012 +0200
@@ -133,6 +133,7 @@
 def isabelle_build(env, case, paths, dep_paths, playground, *cmdargs, **kwargs):
 
     more_settings=kwargs.get('more_settings', '')
+    keep_results=kwargs.get('keep_results', True)
 
     isabelle_home = paths[0]
 
@@ -169,7 +170,7 @@
 
     # collect report
     return (return_code == 0, extract_isabelle_run_summary(log),
-      extract_report_data(isabelle_home, log), {'log': log}, heap_dir)
+      extract_report_data(isabelle_home, log), {'log': log}, heap_dir if keep_results else None)
 
 
 
@@ -210,7 +211,7 @@
 @configuration(repos = [Isabelle], deps = [])
 def Isabelle_makeall(*args):
     """Build all sessions"""
-    return isabelle_build(*(args + ("-j", "6", "-o", "threads=4", "-a")), more_settings=settings64)
+    return isabelle_build(*(args + ("-j", "6", "-o", "threads=4", "-a")), more_settings=settings64, keep_results=False)
 
 
 # Mutabelle configurations