|  | /* Miscellaneous simulator utilities. | 
|  |  | 
|  | Copyright (C) 2005-2023 Free Software Foundation, Inc. | 
|  | Contributed by Analog Devices, Inc. | 
|  |  | 
|  | This file is part of simulators. | 
|  |  | 
|  | This program is free software; you can redistribute it and/or modify | 
|  | it under the terms of the GNU General Public License as published by | 
|  | the Free Software Foundation; either version 3 of the License, or | 
|  | (at your option) any later version. | 
|  |  | 
|  | This program is distributed in the hope that it will be useful, | 
|  | but WITHOUT ANY WARRANTY; without even the implied warranty of | 
|  | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the | 
|  | GNU General Public License for more details. | 
|  |  | 
|  | You should have received a copy of the GNU General Public License | 
|  | along with this program.  If not, see <http://www.gnu.org/licenses/>.  */ | 
|  |  | 
|  | /* This must come before any other includes.  */ | 
|  | #include "defs.h" | 
|  |  | 
|  | #include "sim-main.h" | 
|  | #include "sim-options.h" | 
|  | #include "sim-utils.h" | 
|  |  | 
|  | /* Generic implementation of sim_do_command that works with simulators | 
|  | which add custom options via sim_add_option_table().  */ | 
|  |  | 
|  | void | 
|  | sim_do_command (SIM_DESC sd, const char *cmd) | 
|  | { | 
|  | if (sim_args_command (sd, cmd) != SIM_RC_OK) | 
|  | sim_io_eprintf (sd, "Unknown sim command: \"%s\".  Try \"sim help\".\n", | 
|  | cmd); | 
|  | } |