Make benchmark script exit on keyboard interrupt · 76458cb17f - Gogs

Răsfoiți Sursa

Make benchmark script exit on keyboard interrupt

Taddeus Kroes 7 ani în urmă

părinte

ae18066703

comite

76458cb17f

1 a modificat fișierele cu 1 adăugiri și 0 ștergeri

Vizualizare divizată Arată Statisticile Diff

						
							+ 1
							
							- 0
						
runall.sh
							 
								Vizualizați fișierul
							
				@@ -1,5 +1,6 @@
			
				 #!/usr/bin/env bash
			
				 interp=${1-python3}
			
				+trap exit SIGINT
			
				 i=1
			
				 for f in *.py
			
				 do