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