voice: If $POOL is not set, use <build-dir>/voice-pool by default

It will _vastly_ speed up repeated voice builds.

The voice pool directory will not be erased by a 'make clean'

Change-Id: Ice58d5c5355abfa5a385dfca749f8063e2ee8622

1 files changed, 2 insertions, 2 deletions

diff --git a/tools/voice.pl b/tools/voice.pl
index c62e4c164a..0e58bad503 100755
--- a/tools/voice.pl
+++ b/tools/voice.pl
@@ -666,9 +666,9 @@ if ($V == 1) {
     $SIG{INT} = \&panic_cleanup;
     $SIG{KILL} = \&panic_cleanup;
 
-    printf("Generating voice\n  Target: %s\n  Language: %s\n  Encoder (options): %s (%s)\n  TTS Engine (options): %s (%s)\n",
+    printf("Generating voice\n  Target: %s\n  Language: %s\n  Encoder (options): %s (%s)\n  TTS Engine (options): %s (%s)\n  Pool directory: %s\n",
            defined($t) ? $t : "unknown",
-           $l, $e, $E, $s, $S);
+           $l, $e, $E, $s, $S, defined($ENV{'POOL'}) ? $ENV{'POOL'} : "<none>");
     generateclips($l, $t, $e, $E, $tts_object, $S, $f);
     shutdown_tts($tts_object);
     createvoice($l, $i, $f);