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/release | |
parent | 7ea7112220a3ae961b01642f4436f5166b024e15 (diff) | |
download | rockbox-af1eddb6e933b161938a372b86d1b0065d5b37e8.tar.gz rockbox-af1eddb6e933b161938a372b86d1b0065d5b37e8.zip |
release/voices: Update script to check for global POOL
...If it's already defined, don't override it.
And don't wipe its contents!
Change-Id: I83ca2ffbd443c1d9766f4a5662a5da5fccbaf3c5
Diffstat (limited to 'tools/release')
-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 | ||