changeset 57179 | 011955e7846b |
parent 57172 | bcc6dc6c1d1c |
child 57559 | 841f41710066 |
--- a/Admin/mira.py Fri Jun 06 10:53:33 2014 +0200 +++ b/Admin/mira.py Thu Jun 05 14:37:44 2014 +0200 @@ -98,10 +98,12 @@ isabelle_home = paths[0] + home_user_dir = path.join(isabelle_home, 'home_user') + os.makedirs(home_user_dir) + # copy over build results from dependencies heap_dir = path.join(isabelle_home, 'heaps') classes_dir = path.join(heap_dir, 'classes') - home_user_dir = path.join(isabelle_home, 'home_user') os.makedirs(classes_dir) for dep_path in dep_paths: