Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
adapt perl tesh to handle timeout from command line, and defaut to 50 for windows...
authorAugustin Degomme <degomme@idpann.imag.fr>
Tue, 1 Oct 2013 19:34:03 +0000 (21:34 +0200)
committerAugustin Degomme <degomme@idpann.imag.fr>
Tue, 1 Oct 2013 19:34:03 +0000 (21:34 +0200)
buildtools/Cmake/AddTests.cmake
buildtools/Cmake/Scripts/tesh.pl

index 44209b9..5337fd9 100644 (file)
@@ -22,7 +22,7 @@ SET(TRIGGER_SITE "http://cdash.inria.fr/CDash/cgi-bin/Submit-Random-TestingResul
 #If you use the --read-var-info option Memcheck will run more slowly but may give a more detailed description of any illegal address.
 
 if(WIN32)
-SET(TESH_COMMAND perl.exe ${CMAKE_BINARY_DIR}/bin/tesh)
+SET(TESH_COMMAND perl.exe ${CMAKE_BINARY_DIR}/bin/tesh --timeout 50)
 else()
 SET(TESH_COMMAND ${CMAKE_BINARY_DIR}/bin/tesh)
 endif()
index cbdc724..174245c 100755 (executable)
@@ -15,6 +15,7 @@ B<tesh> [I<options>] I<tesh_file>
 =cut
 my($bindir)=".";
 my($srcdir)=".";
+my($timeout)=0;
 my $path = $0;
 my $OS;
 $path =~ s|[^/]*$||;
@@ -67,6 +68,10 @@ sub cd_cmd {
     }
 }
 
+sub timeout_cmd{
+    $timeout=$_[1];
+}
+
 sub setenv_cmd {
     my($var,$ctn);
     if ($_[0] =~ /^(.*)=(.*)$/) {
@@ -120,6 +125,7 @@ sub get_options {
         'debug|d'    => \$opt{"debug"},
 
        'cd=s'       => \&cd_cmd,
+       'timeout=s'  => \&timeout_cmd,  
        'setenv=s'   => \&setenv_cmd,
        'cfg=s'      => \@cfg,
        'log=s'      => \$log,
@@ -139,7 +145,6 @@ my %opts = get_options(@ARGV);
 ##
 my($sort)=0;
 my($nb_arg)=0;
-my($timeout)=0;
 my($old_buffer);
 my($linebis);
 my($SIGABRT)=0;