|  | @@ -99,6 +99,8 @@ matrix:
 | 
	
		
			
				|  |  |        env: RUST_OPTIONS=""
 | 
	
		
			
				|  |  |      - compiler: gcc
 | 
	
		
			
				|  |  |        env: COVERAGE_OPTIONS="--enable-coverage"
 | 
	
		
			
				|  |  | +    - compiler: gcc
 | 
	
		
			
				|  |  | +      env: DISTCHECK="yes"
 | 
	
		
			
				|  |  |      ## The "sudo: required" forces non-containerized builds, working
 | 
	
		
			
				|  |  |      ## around a Travis CI environment issue: clang LeakAnalyzer fails
 | 
	
		
			
				|  |  |      ## because it requires ptrace and the containerized environment no
 | 
	
	
		
			
				|  | @@ -138,7 +140,8 @@ script:
 | 
	
		
			
				|  |  |    - ./autogen.sh
 | 
	
		
			
				|  |  |    - ./configure $RUST_OPTIONS $COVERAGE_OPTIONS --disable-asciidoc --enable-fatal-warnings --disable-silent-rules --enable-fragile-hardening
 | 
	
		
			
				|  |  |    ## We run `make check` because that's what https://jenkins.torproject.org does.
 | 
	
		
			
				|  |  | -  - make check
 | 
	
		
			
				|  |  | +  - if [[ "$DISTCHECK" == "" ]]; then make check; fi
 | 
	
		
			
				|  |  | +  - if [[ "$DISTCHECK" != "" ]]; then make distcheck DISTCHECK_CONFIGURE_FLAGS="$RUST_OPTIONS $COVERAGE_OPTIONS --disable-asciidoc --enable-fatal-warnings --disable-silent-rules --enable-fragile-hardening"; fi
 | 
	
		
			
				|  |  |  
 | 
	
		
			
				|  |  |  after_failure:
 | 
	
		
			
				|  |  |    ## `make check` will leave a log file with more details of test failures.
 |