--- a/src/devices/wifi/wscript	Tue Nov 13 17:26:24 2007 +0100
+++ b/src/devices/wifi/wscript	Tue Nov 13 17:26:36 2007 +0100
@@ -34,6 +34,7 @@
         'wifi-default-parameters.cc',
         'random-stream.cc',
         'dcf-manager.cc',
+        'dcf-manager-test.cc',
         ]
     headers = bld.create_obj('ns3header')
     headers.source = [