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

diff --git a/scripts/codegen/run_trunnel.sh b/scripts/codegen/run_trunnel.sh
index 3a3deb273052bb640236011b73b32fd8f599e383..df84a6e2a7f4ea91d8467b31401b9c73d3d4e97c 100755 (executable)
--- 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/
+