Allow specifying a walltime limit on systems without cgroups.

MontyCarter · Feb 17, 2015 · 7f744c2 · 7f744c2
1 parent 95a5de9
commit 7f744c2
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/benchexec/runexecutor.py b/benchexec/runexecutor.py
@@ -511,8 +511,6 @@ def execute_run(self, args, output_filename,
         else:
             if walltimelimit <= 0:
                 sys.exit("Invalid wall time limit {0}.".format(walltimelimit))
-            if not self.cgroupsParents[CPUACCT]:
-                sys.exit("Wall time limit is not implemented for systems without cpuacct cgroup.")
 
         if cores is not None:
             if self.cpus is None: