From 82d4730cb6da27b9e829a2030a7cda7e98552953 Mon Sep 17 00:00:00 2001
From: Ciro Santilli <ciro.santilli@gmail.com>
Date: Sun, 3 Jun 2018 21:53:56 +0100
Subject: [PATCH] eigen: link to pkg-config question

---
 kernel_module/user/Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/kernel_module/user/Makefile b/kernel_module/user/Makefile
index b5b7229..4bd51c5 100644
--- a/kernel_module/user/Makefile
+++ b/kernel_module/user/Makefile
@@ -12,6 +12,7 @@ ifeq ($(BR2_PACKAGE_EIGEN),y)
 	# TODO: was failing with:
 	# fatal error: Eigen/Dense: No such file or directory as of
 	# 975ce0723ee3fa1fea1766e6683e2f3acb8558d6
+	# http://lists.busybox.net/pipermail/buildroot/2018-June/222914.html
 	#CXXFLAGS_EXTRA += $(shell $(PKG_CONFIG) --cflags eigen3)
 else
 	OUTS := $(filter-out eigen_%$(OUT_EXT),$(OUTS))