Have the run_trunnel.sh script tell trunnel to update src/ext/trunnel too · d303d6244e - CrySP Git Service

Have the run_trunnel.sh script tell trunnel to update src/ext/trunnel too

Nick Mathewson 9 years ago

parent

1b13139709

commit

d303d6244e

1 changed files with 2 additions and 0 deletions

Split View Show Diff Stats

						
							+ 2
							
							- 0
						
scripts/codegen/run_trunnel.sh
							 
								View File
							
				@@ -7,3 +7,5 @@ fi
			
				 python -m trunnel ./src/trunnel/*.trunnel
			
				+python -m trunnel --write-c-files --target-dir=./src/ext/trunnel/
			
				+