Follow-up Comment #2, bug #64428 (project make): Paul, please use sv64428_2.diff (the other patch has a typo).
_______________________________________________________ Reply to this item at: <https://savannah.gnu.org/bugs/?64428> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/