1 /* 2 Copyright (C) 2011 R. Bernstein <rocky@gnu.org> 3 This file is part of GNU Make (remake variant). 4 5 GNU Make is free software; you can redistribute it and/or modify 6 it under the terms of the GNU General Public License as published by 7 the Free Software Foundation; either version 2, or (at your option) 8 any later version. 9 10 GNU Make is distributed in the hope that it will be useful, 11 but WITHOUT ANY WARRANTY; without even the implied warranty of 12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 13 GNU General Public License for more details. 14 15 You should have received a copy of the GNU General Public License 16 along with GNU Make; see the file COPYING. If not, write to 17 the Free Software Foundation, Inc., 59 Temple Place - Suite 330, 18 Boston, MA 02111-1307, USA. */ 19 20 /*! If nonzero, the basename of filenames is in giving locations. Normally, 21 giving a file directory location helps a debugger frontend 22 when we change directories. For regression tests it is helpful to 23 list just the basename part as that doesn't change from installation 24 to installation. Users may have their preferences too. 25 */ 26 extern int basename_filenames; 27 28 /*! Nonzero means --trace=noshell. */ 29 30 extern int no_shell_trace; 31 32 /*! Nonzero means use GNU readline in the debugger. */ 33 extern int use_readline_flag; 34 35 /* is default_shell unixy? */ 36 extern int unixy_shell; 37 38 /**! The default value of SHELL and the shell that is used when issuing 39 commands on targets. 40 */ 41 extern char *default_shell; 42 43 /*! Print version information. */ 44 extern void print_version (void); 45