Resolve "bug_in_configure_check_libs"

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

Edited by Jonas Schwab

Merge request reports

Loading