mirror of
https://github.com/Rockbox/rockbox.git
synced 2025-10-14 02:27:39 -04:00
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
This commit is contained in:
parent
7ea7112220
commit
af1eddb6e9
1 changed files with 7 additions and 6 deletions
|
@ -68,12 +68,13 @@ sub buildit {
|
||||||
# run make in tools first to make sure they're up-to-date
|
# run make in tools first to make sure they're up-to-date
|
||||||
`(cd tools && make ) >/dev/null 2>&1`;
|
`(cd tools && make ) >/dev/null 2>&1`;
|
||||||
|
|
||||||
my $home=$ENV{'HOME'};
|
if (!defined($ENV{'POOL'}) {
|
||||||
|
my $home=$ENV{'HOME'};
|
||||||
my $pool="$home/tmp/rockbox-voices-$version/voice-pool";
|
my $pool="$home/tmp/rockbox-voices-$version/voice-pool";
|
||||||
`mkdir -p $pool`;
|
`mkdir -p $pool`;
|
||||||
`rm -f $pool/*`;
|
$ENV{'POOL'}="$pool";
|
||||||
$ENV{'POOL'}="$pool";
|
}
|
||||||
|
# `rm -f $pool/*`;
|
||||||
|
|
||||||
`mkdir -p $outdir`;
|
`mkdir -p $outdir`;
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue