]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Up the default ulimit limit to 10 minutes.
authorbangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Thu, 2 Jun 2011 17:39:23 +0000 (17:39 +0000)
committerbangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Thu, 2 Jun 2011 17:39:23 +0000 (17:39 +0000)
git-svn-id: https://svn.dealii.org/trunk@23765 0785d39b-7218-0410-832d-ea1e28bc413d

tests/Makefile.rules

index 1e3cba5e3f8bd69861cafad3b469f7540d441f31..5dea356cb2f909b3a5f7b373e85d7e01de5edf7a 100644 (file)
@@ -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

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.