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 /make.1 | |
| 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 'make.1')
0 files changed, 0 insertions, 0 deletions