bashlog: add back bash3.2 compatible uppercase

For now the perf issue of the shim is solved, so it's fine for debug logging to be of lower performance.
takano32 · Mar 9, 2022 · 88a0956 · 88a0956
1 parent 8742a28
commit 88a0956
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/bashlog.sh b/lib/bashlog.sh
@@ -32,7 +32,7 @@ function log() {
  local pid="${$}";
 
  local level="${1}";
- local upper="${level^^}";
+ local upper="$(tr '[:lower:]' '[:upper:]')";
  local debug_level="${TFENV_DEBUG:-0}";
  local stdout_colours="${BASHLOG_COLOURS:-1}";