Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
oops
authordegomme <augustin.degomme@unibas.ch>
Mon, 18 Apr 2016 15:00:57 +0000 (17:00 +0200)
committerdegomme <augustin.degomme@unibas.ch>
Mon, 18 Apr 2016 15:00:57 +0000 (17:00 +0200)
tools/tesh/tesh.pl

index 739b37e..1cb8658 100755 (executable)
@@ -373,8 +373,7 @@ sub exec_cmd {
     my @cmdline;
     if(defined $ENV{VALGRIND_COMMAND}) {
       push @cmdline, $ENV{VALGRIND_COMMAND};
     my @cmdline;
     if(defined $ENV{VALGRIND_COMMAND}) {
       push @cmdline, $ENV{VALGRIND_COMMAND};
-    my $noquotes = substr $ENV{VALGRIND_OPTIONS}, 1, -1;
-      push @cmdline, split(" ", $noquotes);
+      push @cmdline, split(" ", $ENV{VALGRIND_OPTIONS});
       if($cmd{'timeout'} ne 'no'){
           $cmd{'timeout'}=$cmd{'timeout'}*20
       }
       if($cmd{'timeout'} ne 'no'){
           $cmd{'timeout'}=$cmd{'timeout'}*20
       }