Follow-up Comment #2, bug #57022 (project make): I forgot to say that SHELL = /bin/sh does _not_ work, you have to use SHELL = /bin/bash
Denis Excoffier. _______________________________________________________ Reply to this item at: <https://savannah.gnu.org/bugs/?57022> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/ _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make