mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-01-22 14:54:20 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

#3752 limit execution time to 2 hours refs[t:3752]

Browse source 
git-svn-id: file:///svn/toku/tokudb@35617 c7de825b-a66e-492c-adef-691d508d4ae1
This commit is contained in:
Rich Prohaska 2013-04-16 23:59:51 -04:00 • committed by Yoni Fogel
parent 4368332f6c
commit b9c2e75051
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
scripts/build.check.icc.bash
View file

@ -373,7 +373,7 @@ export VALGRIND=$VALGRIND
# setup VGRIND
if [ $dovalgrind = 0 ] ; then export VGRIND=""; fi
# limit execution time to 1 hour
ulimit -t 3600
# limit execution time to 2 hours
ulimit -t 7200
build $bdb