linux-perf: explicitly disable the jvmti feature and shared library.

This commit is contained in:
Luca Boccassi 2019-01-18 20:01:17 +00:00
parent 380ff19d50
commit 7a4961e3fc
2 changed files with 4 additions and 0 deletions

1
debian/changelog vendored
View File

@ -2,6 +2,7 @@ linux (4.19.16-2) UNRELEASED; urgency=medium
* Do not generate linux-source-$ver stanza in debian/control if
source is set to disabled in debian/config/defines.
* linux-perf: explicitly disable the jvmti feature and shared library.
-- Luca Boccassi <bluca@debian.org> Fri, 18 Jan 2019 19:09:06 +0000

View File

@ -21,6 +21,9 @@ MAKE_PERF := $(MAKE) O=$(CURDIR) prefix=/usr V=1 VF=1 ARCH=$(KERNEL_ARCH) WERROR
# Disable Gtk UI until it's more usable
MAKE_PERF += NO_GTK2=1
# Do not build the unversioned jvmti library
MAKE_PERF += feature-jvmti=0
# Include version in all directory names
MAKE_PERF += perfexecdir=lib/perf_$(VERSION)-core plugindir=/usr/lib/traceevent_$(VERSION)/plugins STRACE_GROUPS_DIR=share/perf_$(VERSION)-core/strace/groups tipdir=share/doc/linux-perf-$(VERSION) perf_include_dir=include/perf_$(VERSION) perf_examples_dir=share/doc/linux-perf-$(VERSION)/examples