diff options
Diffstat (limited to 'src/user/app/shell/shell.c')
| -rw-r--r-- | src/user/app/shell/shell.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/user/app/shell/shell.c b/src/user/app/shell/shell.c index 5808de1..d2d7e37 100644 --- a/src/user/app/shell/shell.c +++ b/src/user/app/shell/shell.c @@ -72,7 +72,7 @@ void run_args(int argc, char **argv, struct redir *redir) { uint64_t div = 3000; run_args(argc - 1, argv + 1, redir); time = __rdtsc() - time; - printf("%u ns (assuming 3GHz)\n", time / div); + printf("%lu ns (assuming 3GHz)\n", time / div); return; } else if (!strcmp(argv[0], "exit")) { exit(0); |