diff options
Diffstat (limited to 'scripts/context/perl/mptopdf.pl')
| -rw-r--r-- | scripts/context/perl/mptopdf.pl | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/scripts/context/perl/mptopdf.pl b/scripts/context/perl/mptopdf.pl index a6b946baa..41d1ae1f7 100644 --- a/scripts/context/perl/mptopdf.pl +++ b/scripts/context/perl/mptopdf.pl @@ -104,7 +104,7 @@ if (($pattern eq '')||($Help)) { my $error = system ($runner) ; if ($error) { print "\n$program : error while processing mp file\n" ; - exit ; + exit 1 ; } else { $pattern =~ s/\.mp$//io ; @files = glob "$pattern.*" ; @@ -131,7 +131,11 @@ foreach my $file (@files) { } else { $command = "$command \\\\relax $file" ; } - system($command) ; + my $error = system($command) ; + if ($error) { + print "\n$program : error while processing tex file\n" ; + exit 1 ; + } my $pdfsrc = basename($_).".pdf"; rename ($pdfsrc, "$_-$1.pdf") ; if (-e $pdfsrc) { |