1 /* MI Command Set - information commands. 2 Copyright (C) 2011-2013 Free Software Foundation, Inc. 3 4 This file is part of GDB. 5 6 This program is free software; you can redistribute it and/or modify 7 it under the terms of the GNU General Public License as published by 8 the Free Software Foundation; either version 3 of the License, or 9 (at your option) any later version. 10 11 This program is distributed in the hope that it will be useful, 12 but WITHOUT ANY WARRANTY; without even the implied warranty of 13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 14 GNU General Public License for more details. 15 16 You should have received a copy of the GNU General Public License 17 along with this program. If not, see <http://www.gnu.org/licenses/>. */ 18 19 #include "defs.h" 20 #include "osdata.h" 21 #include "mi-cmds.h" 22 23 void 24 mi_cmd_info_os (char *command, char **argv, int argc) 25 { 26 switch (argc) 27 { 28 case 0: 29 info_osdata_command ("", 0); 30 break; 31 case 1: 32 info_osdata_command (argv[0], 0); 33 break; 34 default: 35 error (_("Usage: -info-os [INFOTYPE]")); 36 break; 37 } 38 } 39