Lines Matching refs:ENABLE_POLLY
655 ENABLE_POLLY
3520 if test "${enable_polly+set}" = set; then
3521 enableval=$enable_polly;
3527 yes) ENABLE_POLLY=1
3529 no) ENABLE_POLLY=0
3531 default) ENABLE_POLLY=1
3539 if (test -d ${srcdir}/tools/polly) && (test $ENABLE_POLLY -eq 1) ; then
22093 ENABLE_POLLY!$ENABLE_POLLY$ac_delim
