From f4351e4324693020dd2ee2635e407154e4a9977a Mon Sep 17 00:00:00 2001
From: "James O. D. Hunt" <james.o.hunt@intel.com>
Date: Mon, 22 Oct 2018 09:29:02 +0100
Subject: [PATCH] CI: Make info() variable local

Make the variable in the `info()` function a `local` one.

Signed-off-by: James O. D. Hunt <james.o.hunt@intel.com>
---
 .ci/test-install-docs.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.ci/test-install-docs.sh b/.ci/test-install-docs.sh
index 6f2a13ddaa..870d7dc831 100755
--- a/.ci/test-install-docs.sh
+++ b/.ci/test-install-docs.sh
@@ -8,7 +8,7 @@ set -e
 
 info()
 {
-	msg="$*"
+	local msg="$*"
 	echo "INFO: $msg"
 }