Rename build/ to builders/ to avoid looking like build output

2025-08-25 20:06:52 +08:00 · 2025-07-17 13:42:40 -07:00
parent 95ddc900fe
commit d92b0fdd43
28 changed files with 2 additions and 2 deletions
--- a/builders/build_builder
+++ b/builders/build_builder
@@ -0,0 +1,12 @@
+#!/bin/sh
+if [ $# -eq 0 ]
+then
+  echo >&2 "No build image directories specified"
+  echo >&2 "Example: $0 build/*/"
+  exit 1
+fi
+
+for dir
+do
+  ( cd "$dir" && docker build -t "$(cat tag)" . ) || exit 1
+done