diff options
author | Peter Korsgaard <jacmet@sunsite.dk> | 2008-06-15 19:17:23 +0000 |
---|---|---|
committer | Peter Korsgaard <jacmet@sunsite.dk> | 2008-06-15 19:17:23 +0000 |
commit | 01da93b2186f3c806cde03bd07b13ecef2e57708 (patch) | |
tree | df05da50f273a9d7b1bb39a458024856b5081b44 | |
parent | ab32901117447a996a22386416ba8b71ee56c07b (diff) |
valgrind: needs kernel headers (and doesn't respect CFLAGS)
-rw-r--r-- | package/valgrind/valgrind.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/package/valgrind/valgrind.mk b/package/valgrind/valgrind.mk index 8ba144830..6a8af8b5d 100644 --- a/package/valgrind/valgrind.mk +++ b/package/valgrind/valgrind.mk @@ -25,6 +25,7 @@ $(VALGRIND_DIR)/.configured: $(VALGRIND_DIR)/.patched (cd $(VALGRIND_DIR); rm -rf config.cache; \ $(TARGET_CONFIGURE_OPTS) \ $(TARGET_CONFIGURE_ARGS) \ + CC="$(TARGET_CC) $(TARGET_CFLAGS) -I$(LINUX_HEADERS_DIR)/include" \ ./configure \ --target=$(GNU_TARGET_NAME) \ --host=$(GNU_TARGET_NAME) \ |