summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rwxr-xr-xdevbuild.sh9
1 files 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