From e937c9cec4f4c06365d1d3ed847194082f71d0b9 Mon Sep 17 00:00:00 2001
From: Lucía Andrea Illanes Albornoz <lucia@luciaillanes.de>
Date: Mar 26 2022 13:51:14 +0000
Subject: devbuild.sh: updated.


---

diff --git a/devbuild.sh b/devbuild.sh
index 49a14ce..5eae0b9 100755
--- a/devbuild.sh
+++ b/devbuild.sh
@@ -27,9 +27,14 @@ devbuild_all() {
 	./build.sh -a nt64 -b debug -D minipix,rpm,zipdist -F ipv4 -p "${1:-auto}" -v;
 };
 
+devbuild_mirror() {
+	./pkgtool.sh -m ~/public_html/archives -M ~/public_html/repos_git;
+};
+
 case "${1:-}" in
---all)	shift; devbuild_all "${@}"; ;;
-*)	devbuild_midipix "${@}"; ;;
+--all)		shift; devbuild_all "${@}"; ;;
+--mirror)	shift; devbuild_mirror "${@}"; ;;
+*)		devbuild_midipix "${@}"; ;;
 esac;
 
 # vim:filetype=sh textwidth=0