From 666153e3b36735345aee68e0777efc0ea3d38a50 Mon Sep 17 00:00:00 2001 From: Greg Lewis Date: Thu, 15 May 2003 16:34:36 +0000 Subject: . Add the java/jmp port. JMP is a profiler for java that can be used to trace objects usage and method timings. JMP uses the JVMPI interface to gather statistics and interact with the JVM. JMP uses a GTK+ interface to show the status. PR: 47151, 48474, 50325 Submitted by: Ronald Klop --- java/jmp/files/patch-configure | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 java/jmp/files/patch-configure (limited to 'java/jmp/files/patch-configure') diff --git a/java/jmp/files/patch-configure b/java/jmp/files/patch-configure new file mode 100644 index 000000000000..1e1a32c90f62 --- /dev/null +++ b/java/jmp/files/patch-configure @@ -0,0 +1,12 @@ +$FreeBSD$ + +--- configure.orig Fri Feb 28 08:28:00 2003 ++++ configure Fri Feb 28 08:28:31 2003 +@@ -11241,6 +11241,7 @@ + + + case $target_os in ++ freebsd*) java_os=freebsd;; + linux*) java_os=linux;; + solaris*) java_os=solaris;; + cygwin*) java_os=win32;; -- cgit v1.2.3