From 4335f237552912fa34171d3d2ee8067c23392762 Mon Sep 17 00:00:00 2001
From: Ziyang Hu <hu.ziyang@cantab.net>
Date: Sat, 20 Aug 2022 19:03:01 +0800
Subject: [PATCH] archiving

---
 .gitignore | 3 ++-
 archive.sh | 2 ++
 2 files changed, 4 insertions(+), 1 deletion(-)
 create mode 100755 archive.sh

diff --git a/.gitignore b/.gitignore
index 2deffabf..8d476f81 100644
--- a/.gitignore
+++ b/.gitignore
@@ -31,4 +31,5 @@ _test*
 *.db
 cozorocks/deps/
 .DS_Store
-flamegraph.svg
\ No newline at end of file
+flamegraph.svg
+release.zip
\ No newline at end of file
diff --git a/archive.sh b/archive.sh
new file mode 100755
index 00000000..8816593f
--- /dev/null
+++ b/archive.sh
@@ -0,0 +1,2 @@
+git archive -o release.zip HEAD
+git submodule --quiet foreach 'cd $toplevel; zip -ru release.zip $sm_path'