diff--gita/Configure.plb/Configure.plindex69351ff52..13d9b30c8100755---a/Configure.pl+++b/Configure.pl@@-201,14+201,14@@if($^Oeq'darwin'){if($gnu_toolchain&&$gnu_count!=scalar@check_tools){print"\nNot all tools in the toolchain are GNU. Please correct this and retry.\n"."See README.markdown for more details.\n\n";-exit-1;+# exit -1;}## Otherwise, make sure that none of them are GNUelsif(!$gnu_toolchain&&$gnu_count!=0){print"\nGNU tools detected, despite this not being a GNU-oriented build.\n"." Please correct this and retry. See README.markdown for more details.\n\n";-exit-1;+# exit -1;}}