Fix LP32 build.
Change-Id: I66e084330e7a32eac639d06187e780ffa0ad7b14
diff --git a/toolbox/ps.c b/toolbox/ps.c
index 18129ff..cf3f05a 100644
--- a/toolbox/ps.c
+++ b/toolbox/ps.c
@@ -1,6 +1,7 @@
#include <ctype.h>
#include <dirent.h>
#include <fcntl.h>
+#include <inttypes.h>
#include <pwd.h>
#include <stdio.h>
#include <stdlib.h>
@@ -192,7 +193,7 @@
wchan[wchan_len = 0] = '\0';
}
close(fd);
- printf(" %10.*s %0*lx %s ", (int) wchan_len, wchan, (int) PC_WIDTH, eip, state);
+ printf(" %10.*s %0*" PRIxPTR " %s ", (int) wchan_len, wchan, (int) PC_WIDTH, eip, state);
if (display_flags & SHOW_ABI) {
print_exe_abi(pid);
}