diff options
| author | glewis <glewis@FreeBSD.org> | 2003-05-15 16:34:36 +0000 |
|---|---|---|
| committer | glewis <glewis@FreeBSD.org> | 2003-05-15 16:34:36 +0000 |
| commit | 0b4850904473604172571ade6870bc466312726a (patch) | |
| tree | f9152f605cd48ee0738670a925526f7a9d48b6b0 /java/Makefile | |
| parent | 9dd01126fda306601aa6ea52a5a0e210ed032682 (diff) | |
| download | FreeBSD-ports-0b4850904473604172571ade6870bc466312726a.zip FreeBSD-ports-0b4850904473604172571ade6870bc466312726a.tar.gz | |
. 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 <ronald@cs.vu.nl>
Diffstat (limited to 'java/Makefile')
| -rw-r--r-- | java/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/java/Makefile b/java/Makefile index 062aeac..ce4361a 100644 --- a/java/Makefile +++ b/java/Makefile @@ -51,6 +51,7 @@ SUBDIR += jikes SUBDIR += jlex SUBDIR += jlint + SUBDIR += jmp SUBDIR += jre SUBDIR += jsdk SUBDIR += jump |
