Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/marian-nmt/marian.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarcin Junczys-Dowmunt <junczys@amu.edu.pl>2016-04-23 00:40:53 +0300
committerMarcin Junczys-Dowmunt <junczys@amu.edu.pl>2016-04-23 00:40:53 +0300
commitf1e2ebd98e4a8f98071dbec36bf2a9066a96b0ff (patch)
treebfff4455dda538df3d0a06fe1cd352049af9ce15 /scripts/rescore.pl
parent5744e10989ba983197088242d3819c206fa023f5 (diff)
keep temporary files
Diffstat (limited to 'scripts/rescore.pl')
-rwxr-xr-xscripts/rescore.pl2
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/rescore.pl b/scripts/rescore.pl
index 05213977..c8269b8f 100755
--- a/scripts/rescore.pl
+++ b/scripts/rescore.pl
@@ -5,6 +5,8 @@ use Getopt::Long;
use File::Temp qw(tempfile);
use POSIX;
+$File::Temp::KEEP_ALL = 1;
+
my $PID = $$;
$SIG{TERM} = $SIG{INT} = $SIG{QUIT} = sub { die; };