diff options
Diffstat (limited to 'tools/release/voices.pl')
-rwxr-xr-x | tools/release/voices.pl | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/tools/release/voices.pl b/tools/release/voices.pl index 42bf533118..1b08123673 100755 --- a/tools/release/voices.pl +++ b/tools/release/voices.pl | |||
@@ -68,12 +68,13 @@ sub buildit { | |||
68 | # run make in tools first to make sure they're up-to-date | 68 | # run make in tools first to make sure they're up-to-date |
69 | `(cd tools && make ) >/dev/null 2>&1`; | 69 | `(cd tools && make ) >/dev/null 2>&1`; |
70 | 70 | ||
71 | my $home=$ENV{'HOME'}; | 71 | if (!defined($ENV{'POOL'}) { |
72 | 72 | my $home=$ENV{'HOME'}; | |
73 | my $pool="$home/tmp/rockbox-voices-$version/voice-pool"; | 73 | my $pool="$home/tmp/rockbox-voices-$version/voice-pool"; |
74 | `mkdir -p $pool`; | 74 | `mkdir -p $pool`; |
75 | `rm -f $pool/*`; | 75 | $ENV{'POOL'}="$pool"; |
76 | $ENV{'POOL'}="$pool"; | 76 | } |
77 | # `rm -f $pool/*`; | ||
77 | 78 | ||
78 | `mkdir -p $outdir`; | 79 | `mkdir -p $outdir`; |
79 | 80 | ||