Searched refs:POLLY (Results 1 – 1 of 1) sorted by relevance
47 POLLY=no48 do_polly_option () { POLLY=yes; }201 POLLY=no204 if [ "$POLLY" = "yes" -a ! -d "$SRC_DIR/$TOOLCHAIN/polly" ] ; then206 POLLY=no211 if [ "$POLLY" = "yes" ]; then319 if [ "$POLLY" = "yes" ]; then