commit d303d6244e097dd2f5256d11d3a529cf63398d69 Author: Nick Mathewson nickm@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/ +