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