src/devices/wifi/wscript
changeset 5948 34bd93988e2b
parent 5944 b1a245ae00d4
child 5951 083b4c1ec98d
--- a/src/devices/wifi/wscript	Wed Feb 03 18:09:25 2010 +0000
+++ b/src/devices/wifi/wscript	Wed Feb 03 20:34:48 2010 +0100
@@ -55,6 +55,7 @@
         'msdu-standard-aggregator.cc',
         'minstrel-wifi-manager.cc',
         'dcf.cc',
+        'ctrl-headers.cc',
         ]
     headers = bld.new_task_gen('ns3header')
     headers.module = 'wifi'
@@ -103,6 +104,7 @@
         'mac-low.h',
         'minstrel-wifi-manager.h',
         'dcf.h',
+        'ctrl-headers.h',
         ]
 
     if bld.env['ENABLE_GSL']: