make ppp header public
authorCraig Dowell <craigdo@ee.washington.edu>
Mon, 17 Nov 2008 19:50:23 -0800
changeset 3860 4c1c3f6bcd03
parent 3859 9ba0a3f6a07a
child 3861 dacfd1f07538
make ppp header public
src/devices/point-to-point/wscript
--- a/src/devices/point-to-point/wscript	Mon Nov 17 19:34:03 2008 -0800
+++ b/src/devices/point-to-point/wscript	Mon Nov 17 19:50:23 2008 -0800
@@ -14,5 +14,6 @@
     headers.source = [
         'point-to-point-net-device.h',
         'point-to-point-channel.h',
+        'ppp-header.h',
         ]