From 8535c47c30aa992360e88646e632320c6a45e8cc Mon Sep 17 00:00:00 2001 From: Ingo Weinhold Date: Tue, 14 Aug 2007 15:12:04 +0000 Subject: [PATCH] PublicHeaders always added the header/os directory too. Let's see, what removing it will break... git-svn-id: file:///srv/svn/repos/haiku/haiku/trunk@21946 a95241bf-73f2-0310-859d-f6bbb57e9c96 --- build/jam/HeadersRules | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build/jam/HeadersRules b/build/jam/HeadersRules index 1c481cc9e3..43dae02499 100644 --- a/build/jam/HeadersRules +++ b/build/jam/HeadersRules @@ -123,7 +123,7 @@ rule PublicHeaders # . local list = $(1) ; - local dirs = [ FDirName $(HAIKU_TOP) headers os ] ; + local dirs ; for i in $(list) { dirs += [ FDirName $(HAIKU_TOP) headers os $(i) ] ;