From 418656ee9f108a5cc8fb0e7aa7879849a25a3bbb Mon Sep 17 00:00:00 2001 From: Hubert Chathi Date: Wed, 26 Apr 2023 09:58:10 -0400 Subject: [PATCH] make sure the headers are up to date when creating the sdist --- python/make_sdist.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/python/make_sdist.sh b/python/make_sdist.sh index 7f157dc..1eecf25 100755 --- 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"