Follow-up Comment #3, bug#64822 (group make): Rob, that's right. The patch fixes both. In fact, this bug report is a duplicate of https://savannah.gnu.org/bugs/?36486.
_______________________________________________________ Reply to this item at: <https://savannah.gnu.org/bugs/?64822> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/