[CMake] Output the error message when get_errc_messages fails
This makes it easier figure out the cause when it fails, and is what check_z3_version does (the other place we use try_run).
Loading
Please sign in to comment
This makes it easier figure out the cause when it fails, and is what check_z3_version does (the other place we use try_run).