mirror of
https://git.freebsd.org/ports.git
synced 2025-06-06 21:30:31 -04:00
666153e3b3
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 <ronald@cs.vu.nl>
12 lines
259 B
Text
12 lines
259 B
Text
$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;;
|