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 | 978819e1d6e9354b5b20d15c875bef98579873ae (patch) | |
tree | e601b286b4cd0ceb5cace61bea3d1bc6074480b3 /default.c | |
parent | 467115baae38eba41b3800b4e0e84afb7f3ec99b (diff) | |
download | gunmake-978819e1d6e9354b5b20d15c875bef98579873ae.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 |