Make sure the dist creates tarball for pushing artifacts

2021-08-04 09:17:35 +02:00 · 2021-08-04 09:17:35 +02:00 · 1e43a6a1af
parent c6a9b5699a
commit 1e43a6a1af
1 changed files with 1 additions and 0 deletions
--- a/.github/build.sh
+++ b/.github/build.sh
@ -43,6 +43,7 @@ make check
 # this is broken in old ubuntu
 if [ "$1" == "dist" ]; then
 	make distcheck
+	make dist
 fi

 sudo make install