From 1e43a6a1afc7d8d049fe28760ba69c21ca7841d9 Mon Sep 17 00:00:00 2001 From: Jakub Jelen Date: Wed, 4 Aug 2021 09:17:35 +0200 Subject: [PATCH] Make sure the dist creates tarball for pushing artifacts --- .github/build.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/build.sh b/.github/build.sh index 014c3455..4e38b4fe 100755 --- 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