make sure the headers are up to date when creating the sdist

2023-04-26 09:58:10 -04:00 · 2023-04-26 09:58:10 -04:00 · 418656ee9f
parent 0d367baa5b
commit 418656ee9f
1 changed files with 3 additions and 0 deletions
--- a/python/make_sdist.sh
+++ b/python/make_sdist.sh
@ -4,6 +4,9 @@ set -e
 DIR=$(mktemp -d)
 SRC=$(pwd)

+echo "Making headers"
+make headers
+
 cd $DIR

 echo "Copying python module"