It was fixed in our jenkins jobs - not sure its good to handle this in cmake or build-binary.sh - could possibly have too many combinations and variances since we don't know in which ways and locations people can install alternative compiler.
It was fixed in our jenkins jobs - not sure its good to handle this in cmake or build-binary.sh - could possibly have too many combinations and variances since we don't know in which ways and locations people can install alternative compiler.