mirror of
https://github.com/ClickHouse/ClickHouse.git
synced 2024-11-24 00:22:29 +00:00
Probably better
This commit is contained in:
parent
ad665f9b06
commit
b58a2387ef
@ -130,6 +130,8 @@ if [ -n "$SANITIZER" ]; then
|
|||||||
fi
|
fi
|
||||||
elif [[ $BUILD_TYPE == 'debug' ]]; then
|
elif [[ $BUILD_TYPE == 'debug' ]]; then
|
||||||
VERSION_POSTFIX+="+debug"
|
VERSION_POSTFIX+="+debug"
|
||||||
|
elif [[ $BUILD_TYPE =~ 'coverage' ]]; then
|
||||||
|
VERSION_POSTFIX+="+coverage"
|
||||||
fi
|
fi
|
||||||
|
|
||||||
if [[ "$PKG_ROOT" != "$SOURCE" ]]; then
|
if [[ "$PKG_ROOT" != "$SOURCE" ]]; then
|
||||||
|
Loading…
Reference in New Issue
Block a user