| /* Miscellaneous simulator utilities. | 
 |  | 
 |    Copyright (C) 2005-2022 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); | 
 | } |