 dfa31ce3c1
			
		
	
	dfa31ce3c1
	
	
	
		
			
			This should make the build-time tests a bit more robust, by using the -noreset option to avoid a race condition (see #981201).
 dfa31ce3c1
			
		
	
	dfa31ce3c1
	
	
	
		
			
			This should make the build-time tests a bit more robust, by using the -noreset option to avoid a race condition (see #981201).