| commit | 0a81d50d66565fd3e930fadaadc4a5cb9381d840 | [log] [tgz] |
|---|---|---|
| author | Paul Smith <psmith@gnu.org> | Sun Sep 15 13:30:21 2013 -0400 |
| committer | Paul Smith <psmith@gnu.org> | Sun Sep 15 13:30:21 2013 -0400 |
| tree | f0e6bc5b2586260bb3f20fcb236b150d7756a39f | |
| parent | 3aa2aa7e82ac4c74df298f381c8d1d280cff852e [diff] |
[SV 39203] Don't set MAKEFLAGS when restarting. We are restarting with the original command line flags, so if we set MAKEFLAGS as well that will cause double flags.