Follow-up Comment #2, bug #46304 (project make): Thank you Eli for the super quick fix and clarifications on the status of the case-insentivity option.
I confirm the issue being corrected as of http://git.savannah.gnu.org/cgit/make.git/commit/?id=4a5377aef7a6093a8cc4ab76d5ad37ca3592b44c. _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?46304> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/ _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make