src/devices/wifi/wscript
changeset 1939 40af0232df83
parent 1937 996383a87ae3
child 1940 6c62be5cf73a
--- a/src/devices/wifi/wscript	Tue Oct 09 17:19:13 2007 +0200
+++ b/src/devices/wifi/wscript	Wed Oct 10 11:18:19 2007 +0200
@@ -27,6 +27,7 @@
         'supported-rates.cc',
         'capability-information.cc',
         'status-code.cc',
+        'mgt-headers.cc',
         ]
     headers = bld.create_obj('ns3header')
     headers.source = [