Searched refs:POLLY (Results 1 – 1 of 1) sorted by relevance
47 POLLY=no48 do_polly_option () { POLLY=yes; }177 POLLY=no180 if [ "$POLLY" = "yes" -a ! -d "$SRC_DIR/$TOOLCHAIN/polly" ] ; then182 POLLY=no187 if [ "$POLLY" = "yes" ]; then295 if [ "$POLLY" = "yes" ]; then