From e937c9cec4f4c06365d1d3ed847194082f71d0b9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Luc=C3=ADa=20Andrea=20Illanes=20Albornoz?=
 <lucia@luciaillanes.de>
Date: Sat, 26 Mar 2022 14:51:14 +0100
Subject: devbuild.sh: updated.

---
 devbuild.sh | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/devbuild.sh b/devbuild.sh
index 49a14ceb..5eae0b9b 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
-- 
cgit v1.2.3