From 0029c0056effeff12596c43daf9d2704d74b36f9 Mon Sep 17 00:00:00 2001
From: Craig Dowell <craigdo@ee.washington.edu>
Date: Mon, 17 Nov 2008 19:50:23 -0800
Subject: [PATCH] make ppp header public

---
 src/devices/point-to-point/wscript | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/devices/point-to-point/wscript b/src/devices/point-to-point/wscript
index e9861027d..31aa62ade 100644
--- a/src/devices/point-to-point/wscript
+++ b/src/devices/point-to-point/wscript
@@ -14,5 +14,6 @@ def build(bld):
     headers.source = [
         'point-to-point-net-device.h',
         'point-to-point-channel.h',
+        'ppp-header.h',
         ]