pipe just generated file throught rustfmt instead of doing on entire project · c35f43e9f3 - DarkFi

Explorar o código

pipe just generated file throught rustfmt instead of doing on entire project

narodnik %!s(int64=5) %!d(string=hai) anos

pai

e710fb2cd4

achega

c35f43e9f3

Modificáronse 1 ficheiros con 1 adicións e 2 borrados

Dividir vista Mostrar estatísticas de Diff

						
							+ 1
							
							- 2
						
compile_and_run.sh
							 
								Ver ficheiro
							
				@@ -1,5 +1,4 @@
			
				 #!/bin/bash -x
			
				-python scripts/pism.py proofs/simple.pism > src/simple_circuit.rs
			
				-cargo fmt
			
				+python scripts/pism.py proofs/simple.pism | rustfmt > src/simple_circuit.rs
			
				 cargo run --release --bin simple