File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -38,10 +38,10 @@ install:
3838 - ./scripts/npm.sh install
3939
4040script :
41- - gulp hygiene
42- - gulp electron
43- - gulp compile
44- - gulp optimize-vscode
41+ - gulp hygiene --silent
42+ - gulp electron --silent
43+ - gulp compile --silent
44+ - gulp optimize-vscode --silent
4545 - if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then ./scripts/test.sh --reporter dot --coverage; else ./scripts/test.sh --reporter dot; fi
4646 - ./scripts/test-integration.sh
4747
Original file line number Diff line number Diff line change @@ -105,7 +105,16 @@ function main() {
105105 } ) ;
106106 }
107107
108- var remappedCoverage = i_remap ( global . __coverage__ ) . getFinalCoverage ( ) ;
108+ var remapIgnores = [
109+ 'vs/base/common/winjs.base.js' ,
110+ 'vs/base/common/marked/marked.js' ,
111+ 'vs/nls.js' ,
112+ 'vs/css.js' ,
113+ 'vs/base/common/marked/raw.marked.js' ,
114+ 'vs/base/common/winjs.base.raw.js'
115+ ] ;
116+
117+ var remappedCoverage = i_remap ( global . __coverage__ , { exclude : new RegExp ( remapIgnores . join ( '|' ) ) } ) . getFinalCoverage ( ) ;
109118
110119 // The remapped coverage comes out with broken paths
111120 var toUpperDriveLetter = function ( str ) {
You can’t perform that action at this time.
0 commit comments