--- a/src/Pure/Admin/isabelle_cronjob.scala Thu Nov 10 12:14:03 2016 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala Thu Nov 10 21:54:58 2016 +0100
@@ -59,8 +59,8 @@
Build_Release.build_release(base_dir, rev = rev, afp_rev = afp_rev,
parallel_jobs = 4, remote_mac = "macbroy31", website = Some(new_snapshot))
- if (release_snapshot.is_dir) File.mv(release_snapshot, old_snapshot)
- File.mv(new_snapshot, release_snapshot)
+ if (release_snapshot.is_dir) File.move(release_snapshot, old_snapshot)
+ File.move(new_snapshot, release_snapshot)
Isabelle_System.rm_tree(old_snapshot)
}))
@@ -79,7 +79,7 @@
hg, rev = "build_history_base", fresh = true, build_args = List("HOL"))
} {
result.check
- File.mv(log_path, logger.log_dir + log_path.base)
+ File.move(log_path, logger.log_dir + log_path.base)
}
})