Searched refs:ABI_nodots (Results 1 – 2 of 2) sorted by relevance
2395 ABI_nodots=`echo $ABI | sed 's/\./_/'`2396 GMP_DEFINE_RAW("define_not_for_expansion(\`HAVE_ABI_$ABI_nodots')", POST)2398 eval GMP_NONSTD_ABI=\"\$GMP_NONSTD_ABI_$ABI_nodots\"
8681 ABI_nodots=`echo $ABI | sed 's/\./_/'`8683 echo "define_not_for_expansion(\`HAVE_ABI_$ABI_nodots')" >> $gmp_tmpconfigm4p8686 eval GMP_NONSTD_ABI=\"\$GMP_NONSTD_ABI_$ABI_nodots\"