From 40bfc1e916e4be0032b3b7d39915df8857c619f4 Mon Sep 17 00:00:00 2001
From: kamkow1 <kamkow256@gmail.com>
Date: Sat, 7 Mar 2026 10:59:17 +0100
Subject: [PATCH] docker devel script

---
 aux/docker_devel.sh | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100755 aux/docker_devel.sh

diff --git a/aux/docker_devel.sh b/aux/docker_devel.sh
new file mode 100755
index 0000000..3f710c5
--- /dev/null
+++ b/aux/docker_devel.sh
@@ -0,0 +1,3 @@
+#!/bin/sh
+
+docker build --progress=plain --build-arg bt="$1" --output . .