docker devel script

2026-03-07 10:59:17 +01:00
parent 5ad5ed824d
commit 40bfc1e916
1 changed files with 3 additions and 0 deletions
--- a/aux/docker_devel.sh
+++ b/aux/docker_devel.sh
@@ -0,0 +1,3 @@
+#!/bin/sh
+
+docker build --progress=plain --build-arg bt="$1" --output . .