diff options
| -rwxr-xr-x | tools/release/manuals.pl | 2 | ||||
| -rwxr-xr-x | tools/release/voices.pl | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/tools/release/manuals.pl b/tools/release/manuals.pl index 8b5e37b..300557c 100755 --- a/tools/release/manuals.pl +++ b/tools/release/manuals.pl @@ -75,7 +75,7 @@ sub buildit { `(cd tools && make ) >/dev/null 2>&1`; for my $b (&stablebuilds) { - next if ($builds{$b}{configname} < 3); # no variants + next if (length($builds{$b}{configname}) > 0); # no variants runone($b); } diff --git a/tools/release/voices.pl b/tools/release/voices.pl index bf37bfe..185524c 100755 --- a/tools/release/voices.pl +++ b/tools/release/voices.pl @@ -76,7 +76,7 @@ my $pool="$home/tmp/rockbox-voices-$version/voice-pool"; $ENV{'POOL'}="$pool"; for my $b (&stablebuilds) { - next if ($builds{$b}{configname} < 3); # no variants + next if (length($builds{$b}{configname}) > 0); # no variants runone($b); } |