[tor-commits] [tor/master] Have the run_trunnel.sh script tell trunnel to update src/ext/trunnel too

[nickm at torproject.org]

commit d303d6244e097dd2f5256d11d3a529cf63398d69
Author: Nick Mathewson <nickm at torproject.org>
Date:   Thu Sep 25 13:16:35 2014 -0400

    Have the run_trunnel.sh script tell trunnel to update src/ext/trunnel too
---
 scripts/codegen/run_trunnel.sh |    2 ++
 1 file changed, 2 insertions(+)

diff --git a/scripts/codegen/run_trunnel.sh b/scripts/codegen/run_trunnel.sh
index 3a3deb2..df84a6e 100755
--- a/scripts/codegen/run_trunnel.sh
+++ b/scripts/codegen/run_trunnel.sh
@@ -7,3 +7,5 @@ fi
 
 python -m trunnel ./src/trunnel/*.trunnel
 
+python -m trunnel --write-c-files --target-dir=./src/ext/trunnel/
+