diff options
| author | Paul Smith <psmith@gnu.org> | 2012-09-09 20:06:03 +0000 |
|---|---|---|
| committer | Paul Smith <psmith@gnu.org> | 2012-09-09 20:06:03 +0000 |
| commit | a95dc485fa060a57916a091b6990db0b76f4bdab (patch) | |
| tree | db57095b66dc76948a255cd7452daf49f79a9aeb /doc/Makefile.am | |
| parent | 30b2e4207d2f41c64e843959119a03307e06aa9a (diff) | |
| download | gunmake-a95dc485fa060a57916a091b6990db0b76f4bdab.tar.gz | |
Break out of an infinite loop if we're not making progress.
Diffstat (limited to 'doc/Makefile.am')
0 files changed, 0 insertions, 0 deletions