From ef928a0e8b0a23d4af2897b5d9b447c6a34f981a Mon Sep 17 00:00:00 2001
From: "dn337t@gmail.com"
<dn337t@gmail.com@ef4ab9da-24cd-11de-8aaa-f3a34680c41f>
Date: Fri, 22 Jun 2012 13:46:56 +0000
Subject: [PATCH] avoid spawning whoami to get username in
tools/install-gnuarm4.sh
---
tools/install-gnuarm4.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/tools/install-gnuarm4.sh b/tools/install-gnuarm4.sh
index ffb509bf..c55d81f2 100755
--- a/tools/install-gnuarm4.sh
+++ b/tools/install-gnuarm4.sh
@@ -81,7 +81,7 @@ GPG_OPTS="--keyring ${GNU_KEYRING_GPG} --no-default-keyring --homedir ."
# End of configuration section. You shouldn't have to modify anything below.
############################################################################
-if [[ `whoami` != "root" ]]; then
+if [[ "$USER" != "root" ]]; then
echo "*** Warning! Not running as root!"
echo "Installation may fail if you do not have appropriate permissions!"
fi
--
2.39.5