michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

chore(travis): set stack size as unlimited before run valgrind

Browse source
This commit is contained in:
Soonho Kong 2013-09-27 19:05:23 -07:00
parent f1407d501a
commit db6e0ce319
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
.travis.yml
View file

@ -204,6 +204,7 @@ after_script:
MEMCHECK_SUPP=`readlink -f ../src/memcheck.supp`;
CONFIG_FILE=DartConfiguration.tcl;
sed -i "s,^MemoryCheckSuppressionFile:\W*$,MemoryCheckSuppressionFile:$MEMCHECK_SUPP," $CONFIG_FILE;
ulimit -s unlimited;
yes "C" | ctest -D ExperimentalMemCheck -VV;
fi
- if [[ $LEANREPO == BLESSED && $PUSH_TO_CDASH == TRUE ]]; then