diff options
Diffstat (limited to 'tools/voice.pl')
-rwxr-xr-x | tools/voice.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/voice.pl b/tools/voice.pl index 2cb7867eb2..6b3f807854 100755 --- a/tools/voice.pl +++ b/tools/voice.pl | |||
@@ -425,6 +425,7 @@ sub generateclips { | |||
425 | $language); | 425 | $language); |
426 | if (-f $pool_file) { | 426 | if (-f $pool_file) { |
427 | printf("Re-using %s (%s) from pool\n", $id, $voice) if $verbose; | 427 | printf("Re-using %s (%s) from pool\n", $id, $voice) if $verbose; |
428 | system("touch $pool_file"); # So we know it's still being used. | ||
428 | copy($pool_file, $enc); | 429 | copy($pool_file, $enc); |
429 | } | 430 | } |
430 | } | 431 | } |