;;
esac
+case "${target}" in
+ *-*-mingw32) gmp_cflags_gcc="$gmp_cflags_gcc -mno-cygwin";;
+esac
+
echo $ECHO_N "checking for BSD-compatible nm... $ECHO_C" 1>&6
echo "configure:1349: checking for BSD-compatible nm" 1>&5
if test "${ac_cv_path_NM+set}" = set; then