File config.sh of Package dtb-aarch64.32039

# The version of the main tarball to use
SRCVERSION=4.12
# variant of the kernel-source package, either empty or "-rt"
VARIANT=
# Use new style livepatch package names
LIVEPATCH=livepatch
# buildservice projects to build the kernel against
OBS_PROJECT=SUSE:SLE-15-SP1:Update
IBS_PROJECT=SUSE:SLE-15-SP1:Update
# Bugzilla info
BUGZILLA_SERVER="apibugzilla.suse.com"
BUGZILLA_PRODUCT="SUSE Linux Enterprise Server 15 SP1"
# Check the sorted patches section of series.conf
SORT_SERIES=yes
# Use the old way of building kernel-default-base directly from kernel-binary
SPLIT_BASE=Yes
# Do not sign non-efi kernels (not supported by pesign-obs-integration on older SLE)
SB_EFI_ONLY=Yes
# Modules not listed in supported.conf will abort the kernel build
SUPPORTED_MODULES_CHECK=Yes
# build documentation in HTML format
BUILD_HTML=Yes
# build documentation in PDF format
BUILD_PDF=No