/* GDB CLI command scripting.
- Copyright 1986-2000 Free Software Foundation, Inc.
+ Copyright 1986-2000, 2001 Free Software Foundation, Inc.
This file is part of GDB.
{
struct user_args *oargs = user_args;
if (!user_args)
- internal_error ("Internal error, arg_cleanup called with no user args.\n");
+ internal_error (__FILE__, __LINE__,
+ "arg_cleanup called with no user args.\n");
user_args = user_args->next;
xfree (oargs);
break;
default:
/* Should never come here as hookc would be 0. */
- internal_error ("%s:%d: bad switch", __FILE__, __LINE__);
+ internal_error (__FILE__, __LINE__, "bad switch");
}
}
}
if (stream == NULL)
{
- internal_error ("called with NULL file pointer!");
+ internal_error (__FILE__, __LINE__, "called with NULL file pointer!");
}
old_cleanups = make_cleanup (do_fclose_cleanup, stream);