From: bangerth Date: Thu, 2 Jun 2011 17:39:23 +0000 (+0000) Subject: Up the default ulimit limit to 10 minutes. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d2c1fc51e96455c695834ed5e09f52e9d46ccd2f;p=dealii-svn.git Up the default ulimit limit to 10 minutes. git-svn-id: https://svn.dealii.org/trunk@23765 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/tests/Makefile.rules b/tests/Makefile.rules index 1e3cba5e3f..5dea356cb2 100644 --- a/tests/Makefile.rules +++ b/tests/Makefile.rules @@ -83,7 +83,7 @@ endif %/output : %/exe @echo =====Running======= $< @echo Running > $(dir $@)/status - @$(ULIMIT) -t $(if $(ULIMIT_LIMIT),$(ULIMIT_LIMIT),500) ; \ + @$(ULIMIT) -t $(if $(ULIMIT_LIMIT),$(ULIMIT_LIMIT),600) ; \ export WALLTIME=3600 ; \ ./$< ; \ if test ! $$? = 0 ; then rm $@ ; false ; fi