Lines Matching refs:polly
801 ac_subdirs_all='tools/polly'
1376 --enable-polly Use polly if available (default is YES)
3463 # Check whether --enable-polly was given.
3477 *) { { echo "$as_me:$LINENO: error: Invalid setting for --enable-polly. Use \"yes\" or \"no\"" >&5
3478 echo "$as_me: error: Invalid setting for --enable-polly. Use \"yes\" or \"no\"" >&2;}
3483 if (test -d ${srcdir}/tools/polly) && (test $ENABLE_POLLY -eq 1) ; then
3486 subdirs="$subdirs tools/polly"
