max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore(travis): use demangle_cpptype.py to print out test/valgrind output

Browse source 
[skip ci]
This commit is contained in:
Soonho Kong 2013-09-29 16:29:02 -07:00
parent c364110415
commit a46b313c1c
2 changed files with 6 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
.travis.osx.yml
View file

@ -39,7 +39,7 @@ script:
- sed -i "" "s/^Site:.*/Site:$SITE/" $CONFIG_FILE
- sed -i "" "s/BuildName:.*/BuildName:$BUILD_NAME/" $CONFIG_FILE
- ctest -D ExperimentalBuild -VV
- yes "C" | ctest -D ExperimentalTest -VV
- yes "C" | ctest -D ExperimentalTest -VV | ../script/demangle_cpptype.py;
- cd ..
after_script:
@ -60,7 +60,7 @@ after_script:
fi
- cd build
- if [[ $MEMCHECK == TRUE ]]; then
yes "C" | ctest -D ExperimentalMemCheck -VV;
yes "C" | ctest -D ExperimentalMemCheck -VV | ../script/demangle_cpptype.py;
fi
- if [[ $PUSH_TO_CDASH == TRUE ]]; then
GIT_COMMIT=`git log HEAD~ --oneline -n 1 | cut -d ' ' -f 1`;
@ -69,7 +69,7 @@ after_script:
GIT_SUBJECT=${GIT_SUBJECT//,/\,};
GIT_SUBJECT=$(echo -e $(printf '%q' "$GIT_SUBJECT"));
find Testing -name "*.xml" -exec sed -i "" "s,Generator=\".*\",Generator=\"${GIT_COMMIT}###${GIT_SUBJECT}\"," {} ";";
find Testing \( -name "LastTest_*.log" -o -name "LastDynamicAnalysis_*.log" \) -exec sh -c 'TMP=`mktemp /tmp/ctesttmp_XXXX`; cat {} | c++filt > $TMP; mv -v $TMP {}' ";";
find Testing \( -name "LastTest_*.log" -o -name "LastDynamicAnalysis_*.log" \) -exec sh -c 'TMP=`mktemp /tmp/ctesttmp_XXXX`; ../script/demangle_cpptype.py {} > $TMP; mv -v $TMP {}' ";";
ctest -D ExperimentalSubmit;
fi
- cd ..

5
.travis.yml
View file

@ -190,7 +190,7 @@ script:
sed -i "s/^Site:.*/Site:$SITE/" $CONFIG_FILE;
sed -i "s/BuildName:.*/BuildName:$BUILD_NAME/" $CONFIG_FILE;
ctest -D ExperimentalBuild -VV;
yes "C" | ctest -D ExperimentalTest -VV;
yes "C" | ctest -D ExperimentalTest -VV | ../script/demangle_cpptype.py;
fi;
fi
- cd ..
@ -205,7 +205,7 @@ after_script:
CONFIG_FILE=DartConfiguration.tcl;
sed -i "s,^MemoryCheckSuppressionFile:\W*$,MemoryCheckSuppressionFile:$MEMCHECK_SUPP," $CONFIG_FILE;
ulimit -s unlimited;
yes "C" | ctest -D ExperimentalMemCheck -VV;
yes "C" | ctest -D ExperimentalMemCheck -VV | ../script/demangle_cpptype.py;
fi
- if [[ $LEANREPO == BLESSED && $PUSH_TO_CDASH == TRUE ]]; then
GIT_COMMIT=`git log --oneline -n 1 | cut -d ' ' -f 1`;
@ -214,6 +214,7 @@ after_script:
GIT_SUBJECT=${GIT_SUBJECT//,/\,};
GIT_SUBJECT=$(echo -e $(printf '%q' "$GIT_SUBJECT"));
find Testing -name "*.xml" -exec sed -i "s,Generator=\".*\",Generator=\"${GIT_COMMIT}###${GIT_SUBJECT}\"," {} ";";
find Testing \( -name "LastTest_*.log" -o -name "LastDynamicAnalysis_*.log" \) -exec sh -c 'TMP=`mktemp /tmp/ctesttmp_XXXX`; ../script/demangle_cpptype.py {} > $TMP; mv -v $TMP {}' ";";
ctest -D ExperimentalSubmit;
fi
- cd ..