also run multi for coverage
This commit is contained in:
		
							parent
							
								
									290926fe8a
								
							
						
					
					
						commit
						75f2529cdf
					
				| @ -31,6 +31,7 @@ fi | |||||||
| 
 | 
 | ||||||
| ./sizes | ./sizes | ||||||
| ./constants | ./constants | ||||||
|  | ./multi | ||||||
| 
 | 
 | ||||||
| # if this was executed as './coverage.sh ...' create coverage locally | # if this was executed as './coverage.sh ...' create coverage locally | ||||||
| if [[ "${0%% *}" == "./${0##*/}" ]]; then | if [[ "${0%% *}" == "./${0##*/}" ]]; then | ||||||
|  | |||||||
		Loading…
	
	
			
			x
			
			
		
	
		Reference in New Issue
	
	Block a user