binutils-gdb/gdb/filesystem.c
Joel Brobecker 61baf725ec update copyright year range in GDB files
This applies the second part of GDB's End of Year Procedure, which
updates the copyright year range in all of GDB's files.

gdb/ChangeLog:

        Update copyright year range in all GDB files.
2017-01-01 10:52:34 +04:00

104 lines
3.3 KiB
C

/* Handle different target file systems for GDB, the GNU Debugger.
Copyright (C) 2010-2017 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 *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)
{
if (target_file_system_kind == file_system_kind_auto)
{
if (gdbarch_has_dos_based_file_system (target_gdbarch ()))
return file_system_kind_dos_based;
else
return file_system_kind_unix;
}
else
return target_file_system_kind;
}
const char *
target_lbasename (const char *kind, const char *name)
{
if (kind == file_system_kind_dos_based)
return dos_lbasename (name);
else
return unix_lbasename (name);
}
static void
show_target_file_system_kind_command (struct ui_file *file,
int from_tty,
struct cmd_list_element *c,
const char *value)
{
if (target_file_system_kind == file_system_kind_auto)
fprintf_filtered (file, _("\
The assumed file system kind for target reported file names \
is \"%s\" (currently \"%s\").\n"),
value,
effective_target_file_system_kind ());
else
fprintf_filtered (file, _("\
The assumed file system kind for target reported file names \
is \"%s\".\n"),
value);
}
/* Provide a prototype to silence -Wmissing-prototypes. */
extern initialize_file_ftype _initialize_filesystem;
void
_initialize_filesystem (void)
{
add_setshow_enum_cmd ("target-file-system-kind",
class_files,
target_file_system_kinds,
&target_file_system_kind, _("\
Set assumed file system kind for target reported file names"), _("\
Show assumed file system kind for target reported file names"),
_("\
If `unix', target file names (e.g., loaded shared library file names)\n\
starting the forward slash (`/') character are considered absolute,\n\
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);
}