hotspot/make/windows/create_obj_files.sh
changeset 11480 1bf714e8adb4
parent 8921 14bfe81f2a9d
child 12262 fb3b9fede660
--- a/hotspot/make/windows/create_obj_files.sh	Mon Jan 09 10:27:24 2012 +0100
+++ b/hotspot/make/windows/create_obj_files.sh	Wed Jan 11 17:34:02 2012 -0500
@@ -73,6 +73,13 @@
 
 BASE_PATHS="${BASE_PATHS} ${GENERATED}/jvmtifiles"
 
+if [ -d "${ALTSRC}/share/vm/jfr" ]; then
+  BASE_PATHS="${BASE_PATHS} ${ALTSRC}/share/vm/jfr/agent"
+  BASE_PATHS="${BASE_PATHS} ${ALTSRC}/share/vm/jfr/agent/isolated_deps/util"
+  BASE_PATHS="${BASE_PATHS} ${ALTSRC}/share/vm/jfr/jvm"
+  BASE_PATHS="${BASE_PATHS} ${ALTSRC}/share/vm/jfr"
+fi
+
 CORE_PATHS="${BASE_PATHS}"
 # shared is already in BASE_PATHS. Should add vm/memory but that one is also in BASE_PATHS.
 if [ -d "${ALTSRC}/share/vm/gc_implementation" ]; then