Skip to content

Resolve "bug_in_configure_check_libs"

Jonas Schwab requested to merge 226-bug_in_configure_check_libs into master

Hotfix for #226 (closed). We comment out the call to check_libs in configure.sh.

Edited by Jonas Schwab

Merge request reports