From af25679e166da9bd32a0ed7fbf67a408dda7f71a Mon Sep 17 00:00:00 2001
From: Peter Jones <pjones@redhat.com>
Date: Fri, 15 Nov 2013 09:21:53 -0500
Subject: [PATCH 14/74] Fix wrong sizeof().

CHAR16* vs CHAR16**, so the result is the same on all platforms.

Detected by coverity.

Signed-off-by: Peter Jones <pjones@redhat.com>
---
 lib/shell.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/shell.c b/lib/shell.c
index 51de4e0..7337834 100644
--- a/lib/shell.c
+++ b/lib/shell.c
@@ -35,7 +35,7 @@ argsplit(EFI_HANDLE image, int *argc, CHAR16*** ARGV)
 
 	(*argc)++;		/* we counted spaces, so add one for initial */
 
-	*ARGV = AllocatePool(*argc * sizeof(*ARGV));
+	*ARGV = AllocatePool(*argc * sizeof(**ARGV));
 	if (!*ARGV) {
 		return EFI_OUT_OF_RESOURCES;
 	}
-- 
1.9.3