diff options
Diffstat (limited to 'libjava/include/jvmti-int.h')
| -rw-r--r-- | libjava/include/jvmti-int.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/libjava/include/jvmti-int.h b/libjava/include/jvmti-int.h index 822163a..f868655 100644 --- a/libjava/include/jvmti-int.h +++ b/libjava/include/jvmti-int.h @@ -37,6 +37,10 @@ executable file might be covered by the GNU General Public License. */ False means no JVMTI environment requested that event type. */ namespace JVMTI { + // Is JVMTI enabled? (i.e., any jvmtiEnv created?) + extern bool enabled; + + // Event notifications extern bool VMInit; extern bool VMDeath; extern bool ThreadStart; |