Merge GDB 7.5.1

gdb/filesystem.c

 /* Handle different target file systems for GDB, the GNU Debugger.
 
    Copyright (C) 2010-2012 Free Software Foundation, Inc.
 
    This file is part of GDB.
 
    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/>.  */
 
 #include "defs.h"
 #include "filesystem.h"
 #include "gdbarch.h"
 #include "gdbcmd.h"
 
 const char file_system_kind_auto[] = "auto";
 const char file_system_kind_unix[] = "unix";
 const char file_system_kind_dos_based[] = "dos-based";
-const char *target_file_system_kinds[] =
+const char *const target_file_system_kinds[] =
 {
   file_system_kind_auto,
   file_system_kind_unix,
   file_system_kind_dos_based,
   NULL
 };
 const char *target_file_system_kind = file_system_kind_auto;
 
 const char *
 effective_target_file_system_kind (void)
@@ skipping 55 matching lines @@
 and the directory separator character is the forward slash (`/').  If\n\
 `dos-based', target file names starting with a drive letter followed\n\
 by a colon (e.g., `c:'), are also considered absolute, and the\n\
 backslash (`\\') is also considered a directory separator.  Set to\n\
 `auto' (which is the default), to let GDB decide, based on its\n\
 knowledge of the target operating system."),
                         NULL, /* setfunc */
                         show_target_file_system_kind_command,
                         &setlist, &showlist);
 }