Closed landfillbaby closed 7 months ago
like autoconf does. see #770
@madler: Can you look this PR?
Unknown configure options will be ignored.
like autoconf does. see #770