diff options
Diffstat (limited to 'java/jmp/files/patch-instance_owners.c')
| -rw-r--r-- | java/jmp/files/patch-instance_owners.c | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/java/jmp/files/patch-instance_owners.c b/java/jmp/files/patch-instance_owners.c new file mode 100644 index 000000000000..23bff9b42dbb --- /dev/null +++ b/java/jmp/files/patch-instance_owners.c @@ -0,0 +1,15 @@ +$FreeBSD$ + +--- instance_owners.c Tue May 13 20:28:40 2003 ++++ instance_owners.c Tue May 13 20:28:11 2003 +@@ -11,6 +11,10 @@ + #include <jmp-config.h> + #include <inttypes.h> + ++#if __FreeBSD__ < 5 ++#define PRId32 "d" ++#endif ++ + enum { + INFO, + NUM_COLUMNS |