petsc/petsc-3.13-bug634.patch

12 lines
451 B
Diff

--- a/config/BuildSystem/script.orig.py 2020-03-30 05:33:12.000000000 +0200
+++ b/config/BuildSystem/script.py 2020-06-05 16:17:25.613146440 +0200
@@ -236,7 +236,7 @@
thread = InShell()
thread.start()
thread.join(timeout)
- if thread.isAlive():
+ if thread.is_alive():
error = 'Runaway process exceeded time limit of '+str(timeout)+'\n'
log.write(error)
return ('', error, -1)