/* Handle different target file systems for GDB, the GNU Debugger.
- Copyright (C) 2010, 2011 Free Software Foundation, Inc.
+ Copyright (C) 2010-2017 Free Software Foundation, Inc.
This file is part of GDB.
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,
{
if (target_file_system_kind == file_system_kind_auto)
{
- if (gdbarch_has_dos_based_file_system (target_gdbarch))
+ if (gdbarch_has_dos_based_file_system (target_gdbarch ()))
return file_system_kind_dos_based;
else
return file_system_kind_unix;