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