From 0a7cf079860ac9e16bedb19e94737b59fcbf1fd2 Mon Sep 17 00:00:00 2001
From: Thomas Neidhart <thomas.neidhart@eclipse-foundation.org>
Date: Wed, 8 Nov 2023 19:12:48 +0100
Subject: [PATCH] Address linter warning.

---
 tooling/common_logging.sh | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/tooling/common_logging.sh b/tooling/common_logging.sh
index e4a7b6eb37..9656f9fcbb 100755
--- a/tooling/common_logging.sh
+++ b/tooling/common_logging.sh
@@ -5,10 +5,10 @@
 
 set -eu
 
-NORMAL=""
-BOLD=""
-RED=""
-YELLOW=""
+export NORMAL=""
+export BOLD=""
+export RED=""
+export YELLOW=""
 
 # check if stdout is a terminal...
 if test -t 1; then
@@ -16,10 +16,10 @@ if test -t 1; then
   ncolors=$(tput colors)
 
   if test -n "$ncolors" && test "$ncolors" -ge 8; then
-    NORMAL="$(tput sgr0)"
-    BOLD="$(tput bold)"
-    RED="$(tput setaf 1)"
-    YELLOW="$(tput setaf 3)"
+    export NORMAL="$(tput sgr0)"
+    export BOLD="$(tput bold)"
+    export RED="$(tput setaf 1)"
+    export YELLOW="$(tput setaf 3)"
   fi
 fi