From 055a76728fdbdd8009f1872f2ebd3e79d4bdc1ae Mon Sep 17 00:00:00 2001
From: Daniel Hofstetter <daniel.hofstetter@42dh.com>
Date: Sat, 29 Jul 2023 08:18:35 +0200
Subject: [PATCH] build-gnu.sh: indent comment

---
 util/build-gnu.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/util/build-gnu.sh b/util/build-gnu.sh
index 8a4b5eb69..d852ed66f 100755
--- a/util/build-gnu.sh
+++ b/util/build-gnu.sh
@@ -45,7 +45,7 @@ echo "UU_BUILD_DIR='${UU_BUILD_DIR}'"
 cd "${path_UUTILS}" && echo "[ pwd:'${PWD}' ]"
 
 if [ "$(uname)" == "Linux" ]; then
-# only set on linux
+    # only set on linux
     export SELINUX_ENABLED=1
 fi