Skip to content
Permalink
Browse files

do_regtest: Increase default job_max_time to 400 seconds

  • Loading branch information...
oschuett committed Jul 6, 2019
1 parent ea35456 commit 311a1e6788b59959de3829146f3015b72c74e6da
Showing with 1 addition and 1 deletion.
  1. +1 −1 tools/regtesting/do_regtest
@@ -215,7 +215,7 @@ if [[ $dir_triplet == *valgrind* ]] ; then
job_max_time=${job_max_time:-7200}
else
valgrindstring=""
job_max_time=${job_max_time:-300}
job_max_time=${job_max_time:-400}
fi

if [[ $cp2k_version == p* ]] ; then

0 comments on commit 311a1e6

Please sign in to comment.
You can’t perform that action at this time.