diff --git a/.travis.yml b/.travis.yml index cd5bf0995..edd6c6ff3 100644 --- a/.travis.yml +++ b/.travis.yml @@ -178,7 +178,7 @@ after_script: - if [[ $LEANREPO == BLESSED && $MEMCHECK == TRUE ]]; then MEMCHECK_SUPP=`readlink -f ../src/memcheck.supp`; CONFIG_FILE=DartConfiguration.tcl; - sed -i "s,^MemoryCheckSuppressionFile:\W*$,MemoryCheckSuppressionFile: $MEMCHECK_SUPP," $CONFIG_FILE; + sed -i "s,^MemoryCheckSuppressionFile:\W*$,MemoryCheckSuppressionFile:$MEMCHECK_SUPP," $CONFIG_FILE; yes "C" | ctest -D ExperimentalMemCheck -VV; fi - if [[ $LEANREPO == BLESSED && $PUSH_TO_CDASH == TRUE ]]; then