diff options
Diffstat (limited to 'tools/release')
-rwxr-xr-x | tools/release/manuals.pl | 4 | ||||
-rwxr-xr-x | tools/release/voices.pl | 13 |
2 files changed, 9 insertions, 8 deletions
diff --git a/tools/release/manuals.pl b/tools/release/manuals.pl index 61d298fd38..3493aac86d 100755 --- a/tools/release/manuals.pl +++ b/tools/release/manuals.pl | |||
@@ -28,7 +28,7 @@ sub runone { | |||
28 | 28 | ||
29 | chdir ".."; | 29 | chdir ".."; |
30 | 30 | ||
31 | my $o="buildm-$dir/rockbox-$dir-$version.pdf"; | 31 | my $o="buildm-$dir/rockbox-manual.pdf"; |
32 | if (-f $o) { | 32 | if (-f $o) { |
33 | my $newo="$outdir/rockbox-$dir-$version.pdf"; | 33 | my $newo="$outdir/rockbox-$dir-$version.pdf"; |
34 | system("mv $o $newo"); | 34 | system("mv $o $newo"); |
@@ -74,6 +74,6 @@ sub buildit { | |||
74 | 74 | ||
75 | `mkdir -p $outdir`; | 75 | `mkdir -p $outdir`; |
76 | 76 | ||
77 | for my $b (&usablebuilds) { | 77 | for my $b (&manualbuilds) { |
78 | runone($b); | 78 | runone($b); |
79 | } | 79 | } |
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 | ||