diff options
Diffstat (limited to 'tests/run_make_tests.pl')
| -rwxr-xr-x | tests/run_make_tests.pl | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/tests/run_make_tests.pl b/tests/run_make_tests.pl index 5c500ef..d7bf7c2 100755 --- a/tests/run_make_tests.pl +++ b/tests/run_make_tests.pl @@ -11,6 +11,22 @@ # [-make <make prog>] # (and others) +# Copyright (C) 1988, 1989, 1990, 1991, 1992, 1993, 1994, 1995, 1996, 1997, +# 1998, 1999, 2000, 2001, 2002, 2003, 2005, 2006 Free Software Foundation, Inc. +# This file is part of GNU Make. +# +# GNU Make 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 2, or (at your option) any later version. +# +# GNU Make 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 +# GNU Make; see the file COPYING. If not, write to the Free Software +# Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. + $valgrind = 0; # invoke make with valgrind $valgrind_args = '--num-callers=15 --tool=memcheck --leak-check=full'; $pure_log = undef; |