From 877aeab6d2f87833554ebacb8056fc3bccfd8d9f Mon Sep 17 00:00:00 2001
From: Sebastian Huber <sebastian.huber@embedded-brains.de>
Date: Wed, 4 Jul 2018 16:14:35 +0200
Subject: linux: Install <linux/rbtree.h>

This makes it possible to test this API.

Update #3465.
---
 cpukit/headers.am | 1 +
 1 file changed, 1 insertion(+)

(limited to 'cpukit/headers.am')

diff --git a/cpukit/headers.am b/cpukit/headers.am
index 2315db1e7d..fb6e1fc009 100644
--- a/cpukit/headers.am
+++ b/cpukit/headers.am
@@ -58,6 +58,7 @@ include_linuxdir = $(includedir)/linux
 include_linux_HEADERS =
 include_linux_HEADERS += include/linux/i2c-dev.h
 include_linux_HEADERS += include/linux/i2c.h
+include_linux_HEADERS += include/linux/rbtree.h
 
 include_linux_spidir = $(includedir)/linux/spi
 include_linux_spi_HEADERS =
-- 
cgit v1.2.3