diff options
author | Paul Smith <psmith@gnu.org> | 2005-06-25 18:57:28 +0000 |
---|---|---|
committer | Paul Smith <psmith@gnu.org> | 2005-06-25 18:57:28 +0000 |
commit | deba861009c97a0d13c30c6162fda7c7451203b8 (patch) | |
tree | e601b286b4cd0ceb5cace61bea3d1bc6074480b3 /default.c | |
parent | 234c0b0505cbd07b7bd5dce3fa91aac435b1cff6 (diff) | |
download | make-deba861009c97a0d13c30c6162fda7c7451203b8.tar.gz |
Add a new variable: MAKE_RESTARTS, to count how many times make has re-exec'd.
When rebuilding makefiles, unset -B if MAKE_RESTARTS is >0.
Diffstat (limited to 'default.c')
-rw-r--r-- | default.c | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -1,5 +1,6 @@ /* Data base of default implicit rules for GNU Make. -Copyright (C) 1988,89,90,91,92,93,94,95,96 Free Software Foundation, Inc. +Copyright (C) 1988,1989,1990,1991,1992,1993,1994,1995, +1996,2003,2004 Free Software Foundation, Inc. This file is part of GNU Make. GNU Make is free software; you can redistribute it and/or modify |