From 6e6412a058784204b58fb3f6850bff34f860395c Mon Sep 17 00:00:00 2001
From: bangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Tue, 14 Dec 2010 06:11:30 +0000
Subject: [PATCH] Multiply WALLTIME with the number of processors. Let's see if
 that gets the number of spurious failures back down.

git-svn-id: https://svn.dealii.org/trunk@22962 0785d39b-7218-0410-832d-ea1e28bc413d
---
 tests/tests.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/tests/tests.h b/tests/tests.h
index c77a5d6f7f..51ff270dd3 100644
--- a/tests/tests.h
+++ b/tests/tests.h
@@ -22,6 +22,7 @@
 #include <base/exceptions.h>
 #include <base/utilities.h>
 #include <base/thread_management.h>
+#include <base/multithread_info.h>
 #include <cmath>
 #include <fstream>
 #include <sstream>
@@ -137,7 +138,7 @@ struct DeadlockKiller
 	    conv >> delay;
 	    if (conv)
 	      {
-		sleep (delay*4);
+		sleep (delay*multithread_info.n_cpus);
 		std::cerr << "Time's up: Killing job because it overran its allowed walltime"
 			  << std::endl;
 		std::abort ();
-- 
2.39.5