Admin/mira.py
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: