cmd_time: without the uint32_t cast operator, mprintf gives always 0 for uint64_t variable

ca091b2f · Grzegorz Daniluk · 44cce6cd · ca091b2f
Commit ca091b2f authored Jul 20, 2012 by Grzegorz Daniluk
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

cmd_time.c shell/cmd_time.c +2 -2

No files found.
--- 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
+}