<p style="white-space: pre-wrap; word-wrap: break-word;">This patch is now completely optional. I thought I needed it, but that was just because an accidental leftover #include in that other patch.</p><p style="white-space: pre-wrap; word-wrap: break-word;">I'm still confused though why those headers get installed into $prefix/include/osmocom/*/ -- either they are osmo libraries and get installed and sit at the right place in both $prefix and source tree, or they are internal headers and sit wherever they like, but also don't get installed. IMHO it's either of the two.</p><p><a href="https://gerrit.osmocom.org/11120">View Change</a></p><ul style="list-style: none; padding: 0;"></ul><p>To view, visit <a href="https://gerrit.osmocom.org/11120">change 11120</a>. To unsubscribe, or for help writing mail filters, visit <a href="https://gerrit.osmocom.org/settings">settings</a>.</p><div itemscope itemtype="http://schema.org/EmailMessage"><div itemscope itemprop="action" itemtype="http://schema.org/ViewAction"><link itemprop="url" href="https://gerrit.osmocom.org/11120"/><meta itemprop="name" content="View Change"/></div></div>

<div style="display:none"> Gerrit-Project: libosmo-sccp </div>
<div style="display:none"> Gerrit-Branch: master </div>
<div style="display:none"> Gerrit-MessageType: comment </div>
<div style="display:none"> Gerrit-Change-Id: I1209a4ecf9f692a8030b5c93cd281fc9dd58d105 </div>
<div style="display:none"> Gerrit-Change-Number: 11120 </div>
<div style="display:none"> Gerrit-PatchSet: 5 </div>
<div style="display:none"> Gerrit-Owner: Neels Hofmeyr <nhofmeyr@sysmocom.de> </div>
<div style="display:none"> Gerrit-Reviewer: Harald Welte <laforge@gnumonks.org> </div>
<div style="display:none"> Gerrit-Reviewer: Jenkins Builder (1000002) </div>
<div style="display:none"> Gerrit-Reviewer: Neels Hofmeyr <nhofmeyr@sysmocom.de> </div>
<div style="display:none"> Gerrit-Comment-Date: Thu, 27 Sep 2018 16:01:28 +0000 </div>
<div style="display:none"> Gerrit-HasComments: No </div>
<div style="display:none"> Gerrit-HasLabels: No </div>