extern int running_now;
/* These two control how the GUI behaves when tracing or loading
- They are defined in gdbtk_cmds.c */
+ They are defined in gdbtk-cmds.c */
extern int No_Update;
extern int load_in_progress;
extern gdbtk_result *result_ptr;
+/* GDB context identifier */
+extern int gdb_context;
+
/*
* These functions are used in all the modules of Gdbtk.
*