make sure distcheck runs

3 years ago · e84c46e985
parent 04cba3fb3c
commit e84c46e985
1 changed files with 1 additions and 1 deletions
--- a/ci/distcheck.sh
+++ b/ci/distcheck.sh
@ -8,7 +8,7 @@ elif [ "$CIRRUS_OS" != "" ]; then
    OS="$CIRRUS_OS"
 fi

-if [ "$BUILD_TYPE" = "normal" -a "$OS" = "linux" ]; then
+if [ "$OS" = "linux" ]; then
    # Make distribution tarball
    ./maketgz 99.98.97
    # Extract distribution tarball for building