/* Remote target system call callback support.
- Copyright 1997, 2007, 2008 Free Software Foundation, Inc.
+ Copyright 1997, 2007, 2008, 2009 Free Software Foundation, Inc.
Contributed by Cygnus Solutions.
This file is part of GDB.
/* Print an error message and "exit".
In the case of gdb "exiting" means doing a longjmp back to the main
command loop. */
- void (*error) PARAMS ((host_callback *, const char *, ...));
+ void (*error) PARAMS ((host_callback *, const char *, ...))
+#ifdef __GNUC__
+ __attribute__ ((__noreturn__))
+#endif
+ ;
int last_errno; /* host format */