build-dist.sh: set -it if we have a tty

jasonish · May 7, 2024 · 1529802 · 1529802
1 parent 58e2fea
commit 1529802
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/build-dist.sh b/build-dist.sh
@@ -35,6 +35,10 @@ for a in $@; do
     shift
 done
 
+if test -t; then
+    it="-it"
+fi
+
 cross_run() {
     target="$1"
     shift