GDB (API): /home/stan/gdb/src/gdb/mi/mi-cmd-info.c Source File

Go to the documentation of this file.
00001 /* MI Command Set - information commands.
00002    Copyright (C) 2011-2013 Free Software Foundation, Inc.
00003 
00004    This file is part of GDB.
00005 
00006    This program is free software; you can redistribute it and/or modify
00007    it under the terms of the GNU General Public License as published by
00008    the Free Software Foundation; either version 3 of the License, or
00009    (at your option) any later version.
00010 
00011    This program is distributed in the hope that it will be useful,
00012    but WITHOUT ANY WARRANTY; without even the implied warranty of
00013    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
00014    GNU General Public License for more details.
00015 
00016    You should have received a copy of the GNU General Public License
00017    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
00018 
00019 #include "defs.h"
00020 #include "osdata.h"
00021 #include "mi-cmds.h"
00022 
00023 void
00024 mi_cmd_info_os (char *command, char **argv, int argc)
00025 {
00026   switch (argc)
00027     {
00028     case 0:
00029       info_osdata_command ("", 0);
00030       break;
00031     case 1:
00032       info_osdata_command (argv[0], 0);
00033       break;
00034     default:
00035       error (_("Usage: -info-os [INFOTYPE]"));
00036       break;
00037     }
00038 }