summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJonas Häggqvist <rasher@rasher.dk>2009-03-02 21:55:36 +0000
committerJonas Häggqvist <rasher@rasher.dk>2009-03-02 21:55:36 +0000
commit4a54fc0eeced2e6b340f40fc6a447ef7bea38d6e (patch)
treea8260a7814c02f5d01b69244e6c91f6d055c67ce
parent839bcdf46c2a6a269931cc9d3cc39cf45cc21a3b (diff)
downloadrockbox-4a54fc0eeced2e6b340f40fc6a447ef7bea38d6e.tar.gz
rockbox-4a54fc0eeced2e6b340f40fc6a447ef7bea38d6e.zip
Remove some development help.
git-svn-id: svn://svn.rockbox.org/rockbox/trunk@20182 a1c6a512-1295-4272-9138-f99709370657
-rwxr-xr-xtools/configure4
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/configure b/tools/configure
index b689e9b18a..cc5c76e0fc 100755
--- a/tools/configure
+++ b/tools/configure
@@ -529,7 +529,7 @@ voiceconfig () {
529 # Select which voice to use for Festival 529 # Select which voice to use for Festival
530 if [ "$TTS_ENGINE" = "festival" ]; then 530 if [ "$TTS_ENGINE" = "festival" ]; then
531 i=1 531 i=1
532 for voice in `echo "(voice.list)"|festival -i 2>/dev/null |tr "\n" " "|sed -e 's/.*festival> (\(.*\)) festival>/\1 foobar/'|sort`; do 532 for voice in `echo "(voice.list)"|festival -i 2>/dev/null |tr "\n" " "|sed -e 's/.*festival> (\(.*\)) festival>/\1/'|sort`; do
533 if [ "$i" = "1" ]; then 533 if [ "$i" = "1" ]; then
534 TTS_FESTIVAL_VOICE="$voice" # Default choice 534 TTS_FESTIVAL_VOICE="$voice" # Default choice
535 fi 535 fi
@@ -539,7 +539,7 @@ voiceconfig () {
539 printf "Please select which Festival voice to use (default is $TTS_FESTIVAL_VOICE): " 539 printf "Please select which Festival voice to use (default is $TTS_FESTIVAL_VOICE): "
540 CHOICE=`input` 540 CHOICE=`input`
541 i=1 541 i=1
542 for voice in `echo "(voice.list)"|festival -i 2>/dev/null |tr "\n" " "|sed -e 's/.*festival> (\(.*\)) festival>/\1 foobar/'|sort`; do 542 for voice in `echo "(voice.list)"|festival -i 2>/dev/null |tr "\n" " "|sed -e 's/.*festival> (\(.*\)) festival>/\1/'|sort`; do
543 if [ "$i" = "$CHOICE" -o "$voice" = "$CHOICE" ]; then 543 if [ "$i" = "$CHOICE" -o "$voice" = "$CHOICE" ]; then
544 TTS_FESTIVAL_VOICE="$voice" 544 TTS_FESTIVAL_VOICE="$voice"
545 fi 545 fi