equal
deleted
inserted
replaced
77 case ord => ord |
77 case ord => ord |
78 } |
78 } |
79 case ord => ord |
79 case ord => ord |
80 } |
80 } |
81 } |
81 } |
82 |
|
83 Isabelle_System.make_directory(store.output_dir + Path.basic("log")) |
|
84 |
82 |
85 using_option(store.maybe_open_build_database()) { db => |
83 using_option(store.maybe_open_build_database()) { db => |
86 val shared_db = db.is_postgresql |
84 val shared_db = db.is_postgresql |
87 Data.transaction_lock(db, create = true) { |
85 Data.transaction_lock(db, create = true) { |
88 Data.clean_build(db) |
86 Data.clean_build(db) |