From ca091b2f0fcfe1718be7a47e37e7cb669ceac85b Mon Sep 17 00:00:00 2001
From: Grzegorz Daniluk <grzegorz.daniluk@gmail.com>
Date: Fri, 20 Jul 2012 18:00:21 +0200
Subject: [PATCH] cmd_time: without the uint32_t cast operator, mprintf gives
 always 0 for uint64_t variable

---
 shell/cmd_time.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/shell/cmd_time.c b/shell/cmd_time.c
index 47b3c1c..8b79d1a 100644
--- a/shell/cmd_time.c
+++ b/shell/cmd_time.c
@@ -31,11 +31,11 @@ int cmd_time(const char *args[])
 			return -EBUSY;
 	} else if(args[0] && !strcasecmp(args[0], "raw"))
 	{
-			mprintf("%d %d\n", sec, nsec);
+			mprintf("%d %d\n", (uint32_t)sec, nsec);
 			return 0;
 	}
 
 	mprintf("%s +%d nanoseconds.\n", format_time(sec), nsec); /* fixme: clock freq is not always 125 MHz */
 	
 	return 0;	
-}
\ No newline at end of file
+}
-- 
GitLab