File tree Expand file tree Collapse file tree 2 files changed +12
-12
lines changed Expand file tree Collapse file tree 2 files changed +12
-12
lines changed Original file line number Diff line number Diff line change 88
99env :
1010 # code analysis
11- - TASK=lint
1211 - TASK=all_test
1312
1413branches :
Original file line number Diff line number Diff line change 11#! /bin/bash
22
3-
4- if [ ${TASK} == " lint" ]; then
5- make lint || exit -1
6- echo " Check documentations of c++ code..."
7- make doc 2> log.txt
8- (cat log.txt| grep -v ENABLE_PREPROCESSING | grep -v " unsupported tag" ) > logclean.txt
9- echo " ---------Error Log----------"
10- cat logclean.txt
11- echo " ----------------------------"
12- (cat logclean.txt| grep warning) && exit -1
13- (cat logclean.txt| grep error) && exit -1
3+ if [ ${TASK} == " lint" ] || [ ${TASK} == " all_test" ]; then
4+ if [ ! ${TRAVIS_OS_NAME} == " osx" ]; then
5+ make lint || exit -1
6+ echo " Check documentations of c++ code..."
7+ make doc 2> log.txt
8+ (cat log.txt| grep -v ENABLE_PREPROCESSING | grep -v " unsupported tag" ) > logclean.txt
9+ echo " ---------Error Log----------"
10+ cat logclean.txt
11+ echo " ----------------------------"
12+ (cat logclean.txt| grep warning) && exit -1
13+ (cat logclean.txt| grep error) && exit -1
14+ fi
1415fi
1516
1617
You can’t perform that action at this time.
0 commit comments