mirror of
https://github.com/LibreELEC/LibreELEC.tv.git
synced 2025-07-29 13:46:49 +00:00
Merge pull request #924 from MilhouseVH/fix_valgrind
debug: make valgrind optional, disabled by default, not available for…
This commit is contained in:
commit
ded08c83c2
@ -60,7 +60,8 @@ makeinstall_host() {
|
||||
cp -a bin/llvm-tblgen $ROOT/$TOOLCHAIN/bin
|
||||
}
|
||||
|
||||
PKG_CMAKE_OPTS_TARGET="-DCMAKE_C_FLAGS="$CFLAGS" \
|
||||
PKG_CMAKE_OPTS_TARGET="-DCMAKE_BUILD_TYPE=MinSizeRel \
|
||||
-DCMAKE_C_FLAGS="$CFLAGS" \
|
||||
-DCMAKE_CXX_FLAGS="$CXXFLAGS" \
|
||||
-DLLVM_INCLUDE_TOOLS=ON \
|
||||
-DLLVM_BUILD_TOOLS=OFF \
|
||||
|
@ -38,6 +38,6 @@ if [ "$VDPAU_SUPPORT" = "yes" -a "$DISPLAYSERVER" = "x11" ]; then
|
||||
PKG_DEPENDS_TARGET="$PKG_DEPENDS_TARGET vdpauinfo"
|
||||
fi
|
||||
|
||||
if [ "$DEBUG" = "yes" ]; then
|
||||
if [ "$DEBUG" = "yes" -a "$VALGRIND" = "yes" ]; then
|
||||
PKG_DEPENDS_TARGET="$PKG_DEPENDS_TARGET valgrind"
|
||||
fi
|
||||
|
@ -129,6 +129,10 @@
|
||||
# build with installer (yes / no)
|
||||
INSTALLER_SUPPORT="no"
|
||||
|
||||
# build debug with valgrind (yes / no)
|
||||
# Not available for armv6. Increases image size significantly
|
||||
VALGRIND="no"
|
||||
|
||||
# kernel image name
|
||||
KERNEL_NAME="kernel.img"
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user