diff options
author | Bernhard Walle <walle@corscience.de> | 2011-08-12 10:44:04 +0200 |
---|---|---|
committer | Michael Olbrich <m.olbrich@pengutronix.de> | 2011-08-12 12:35:32 +0200 |
commit | f8a06acebe350751944f0fc95e78f6be0c957a2e (patch) | |
tree | 3ddf9f9ff3e64407634f0b3dcb49c18e1854d325 | |
parent | a728569e3fc73653d59ea198812ee7bf1eaf4be4 (diff) | |
download | ptxdist-f8a06acebe350751944f0fc95e78f6be0c957a2e.tar.gz ptxdist-f8a06acebe350751944f0fc95e78f6be0c957a2e.tar.xz |
valgrind: Fix build when kernel headers are not built
Fallback to the kernel version that is built and installed for the
target.
Signed-off-by: Bernhard Walle <walle@corscience.de>
Signed-off-by: Michael Olbrich <m.olbrich@pengutronix.de>
-rw-r--r-- | rules/valgrind.make | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/rules/valgrind.make b/rules/valgrind.make index 7fa78e83a..bb931e7b4 100644 --- a/rules/valgrind.make +++ b/rules/valgrind.make @@ -40,10 +40,18 @@ $(VALGRIND_SOURCE): # Prepare # ---------------------------------------------------------------------------- +ifdef KERNEL_VERSION +VALGRIND_KERNEL_VERSION := $(KERNEL_VERSION) +endif + +ifdef KERNEL_HEADER_VERSION +VALGRIND_KERNEL_VERSION := $(KERNEL_HEADER_VERSION) +endif + VALGRIND_PATH := PATH=$(CROSS_PATH) VALGRIND_ENV := \ $(CROSS_ENV) \ - valgrind_cv_sys_kernel_version=$(KERNEL_HEADER_VERSION) + valgrind_cv_sys_kernel_version=$(VALGRIND_KERNEL_VERSION) # # autoconf |