jdk/src/share/javavm/export/jmm.h
changeset 22299 ee71d2eaa085
parent 21640 6bbdcc430310
--- a/jdk/src/share/javavm/export/jmm.h	Sat Jan 18 10:57:41 2014 -0800
+++ b/jdk/src/share/javavm/export/jmm.h	Mon Jan 20 16:27:55 2014 +0100
@@ -153,6 +153,7 @@
   JMM_VMGLOBAL_ORIGIN_ENVIRON_VAR  = 4,   /* Set via environment variables */
   JMM_VMGLOBAL_ORIGIN_CONFIG_FILE  = 5,   /* Set via config file (such as .hotspotrc) */
   JMM_VMGLOBAL_ORIGIN_ERGONOMIC    = 6,   /* Set via ergonomic */
+  JMM_VMGLOBAL_ORIGIN_ATTACH_ON_DEMAND = 7,   /* Set via attach */
   JMM_VMGLOBAL_ORIGIN_OTHER        = 99   /* Set via some other mechanism */
 } jmmVMGlobalOrigin;