diff options
Diffstat (limited to 'gdb/ravenscar-thread.c')
| -rw-r--r-- | gdb/ravenscar-thread.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gdb/ravenscar-thread.c b/gdb/ravenscar-thread.c index 83dfd9d..e792227 100644 --- a/gdb/ravenscar-thread.c +++ b/gdb/ravenscar-thread.c @@ -519,12 +519,20 @@ ravenscar_core_of_thread (struct target_ops *ops, ptid_t ptid) static void ravenscar_inferior_created (struct target_ops *target, int from_tty) { + const char *err_msg; if (!ravenscar_task_support || gdbarch_ravenscar_ops (target_gdbarch ()) == NULL || !has_ravenscar_runtime ()) return; + err_msg = ada_get_tcb_types_info (); + if (err_msg != NULL) + { + warning (_("%s. Task/thread support disabled.\n"), err_msg); + return; + } + ravenscar_update_inferior_ptid (); push_target (&ravenscar_ops); } |