From b58a2387ef12e5b18c10b22827063412b0df56e5 Mon Sep 17 00:00:00 2001 From: Alexey Milovidov Date: Fri, 9 Feb 2024 00:49:48 +0100 Subject: [PATCH] Probably better --- packages/build | 2 ++ 1 file changed, 2 insertions(+) diff --git a/packages/build b/packages/build index c2285b8ee7c..b2dd085d9dd 100755 --- a/packages/build +++ b/packages/build @@ -130,6 +130,8 @@ if [ -n "$SANITIZER" ]; then fi elif [[ $BUILD_TYPE == 'debug' ]]; then VERSION_POSTFIX+="+debug" +elif [[ $BUILD_TYPE =~ 'coverage' ]]; then + VERSION_POSTFIX+="+coverage" fi if [[ "$PKG_ROOT" != "$SOURCE" ]]; then