6882745: Add DISABLE_INTREE_EC option to make new EC provider optional.
Summary: Don't build the ec subdirectory when DISABLE_INTREE_EC is defined.
Reviewed-by: vinnie
1 file changed