diff options
| author | Solomon Peachy <pizza@shaftnet.org> | 2024-07-07 09:02:27 -0400 |
|---|---|---|
| committer | Solomon Peachy <pizza@shaftnet.org> | 2024-07-07 09:02:27 -0400 |
| commit | af1eddb6e933b161938a372b86d1b0065d5b37e8 (patch) | |
| tree | eaf9670ba5e710f0f550c2b4edc5fb367254e126 /tools | |
| parent | 7ea7112220a3ae961b01642f4436f5166b024e15 (diff) | |
| download | rockbox-master.tar.gz rockbox-master.zip | |
...If it's already defined, don't override it.
And don't wipe its contents!
Change-Id: I83ca2ffbd443c1d9766f4a5662a5da5fccbaf3c5
Diffstat (limited to 'tools')
| -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 | ||