diff --git a/tools/release.sh b/tools/release.sh index e5672632e..a4a907fad 100755 --- a/tools/release.sh +++ b/tools/release.sh @@ -12,6 +12,9 @@ OLDVERSION="$1" VERSION="$2" QUIP="$3" +# update the FFI exports +python tools/generate_ffi.py . + # finalize the date on the most recent version, add any last-minute notes? vi NEWS.md