Make stdout unbuffered.

devnull-cz · Apr 2, 2024 · e38422a · e38422a
1 parent bee5862
commit e38422a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 19 deletions.
diff --git a/getting-credits/2024/tests/config.var b/getting-credits/2024/tests/config.var
diff --git a/getting-credits/2024/tests/run-tests.sh b/getting-credits/2024/tests/run-tests.sh
@@ -7,4 +7,5 @@
 [[ -x $STEF ]] || { echo "STEF variable value '$STEF' not an executable" \
     "script." >&2 && exit 1; }
 
-$STEF $*
+command -v stdbuf && prefix="stdbuf -o0"
+$prefix $STEF ${@}