ci/run.sh: remove debug stuff · e441058be7 - DragonOS Git Mirror

ci/run.sh: remove debug stuff

Jorge Aparicio 8 년 전

부모

a163ca7ac3

커밋

e441058be7

1개의 변경된 파일과 1개의 추가작업 그리고 3개의 파일을 삭제

분할 보기 변경상태 보기

						
							+ 1
							
							- 3
						
ci/run.sh
							 
								파일 보기
							
				@@ -1,6 +1,4 @@
			
				-set -ex
			
				-
			
				-export RUST_BACKTRACE=1
			
				+set -e
			
				 # Test our implementation
			
				 case $1 in