diff options
| author | Greg Lewis <glewis@FreeBSD.org> | 2003-05-15 16:34:36 +0000 |
|---|---|---|
| committer | Greg Lewis <glewis@FreeBSD.org> | 2003-05-15 16:34:36 +0000 |
| commit | 666153e3b36735345aee68e0777efc0ea3d38a50 (patch) | |
| tree | 65eee602f863ab9328df65e00e08ea89a87c36d3 /java/jmp/files/patch-Makefile.in | |
| parent | * Update to exim-4.20, featuring host of minor bugfixes and some feature (diff) | |
. 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/jmp/files/patch-Makefile.in')
| -rw-r--r-- | java/jmp/files/patch-Makefile.in | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/java/jmp/files/patch-Makefile.in b/java/jmp/files/patch-Makefile.in new file mode 100644 index 000000000000..847866fdbb7f --- /dev/null +++ b/java/jmp/files/patch-Makefile.in @@ -0,0 +1,19 @@ +$FreeBSD$ + +--- Makefile.in Tue May 13 22:11:43 2003 ++++ Makefile.in Tue May 13 22:12:29 2003 +@@ -598,12 +598,12 @@ + gcc -shared -o $@ ${OBJECTS} -Wl,--kill-at + + jmp/JMPController.class : java/jmp/JMPController.java +- javac -sourcepath java -d . $< ++ ${JAVAC} -sourcepath java -d . $< + + # javah does not update file modification time, so touch it + # otherwise we will remake file every time + jmp_JMPController.h: jmp/JMPController.class +- javah jmp.JMPController ++ ${JAVAH} jmp.JMPController + @touch jmp_JMPController.h + + javadocs: |