add hdlist generation, update of MD5SUM file, and mirror from bootstrap to mirror directory

1 files changed, 23 insertions, 0 deletions

diff --git a/functions b/functions
index 9891247..418bf6f 100644
--- a/functions
+++ b/functions
@@ -28,3 +28,26 @@ function inlist()
     return 1
 }
 
+function update_hdlist()
+{
+    repository="$1"
+    /usr/bin/genhdlist2 -v --versioned --allow-empty-media --file-deps "$repository/../../media_info/file-deps" "$repository"
+}
+
+function update_common_MD5SUM()
+{
+    distrorelease="$1"
+    for arch in $arches
+    do
+	pushd "$distribdir/$distrorelease/$arch/media/media_info"
+	/usr/bin/md5sum hdlist_* synthesis.* > MD5SUM
+	popd
+    done
+}
+
+function mirror_repository()
+{
+    distrorelease="$1"
+    /usr/bin/rsync $mirror_rsync_options "$distribdir/$distrorelease" "$finaldistribdir/$distrorelease"
+}
+