src/config-store/wscript
changeset 7487 82cd20da9650
parent 7438 3aeb5ac5af62
child 7512 bbdfcec0d97d
--- a/src/config-store/wscript	Wed Sep 07 12:18:37 2011 -0700
+++ b/src/config-store/wscript	Thu Sep 08 16:13:40 2011 +0100
@@ -29,7 +29,7 @@
         'model/raw-text-config.cc',
         ]
 
-    headers = bld.new_task_gen('ns3header')
+    headers = bld.new_task_gen(features=['ns3header'])
     headers.module = 'config-store'
     headers.source = [
         'model/file-config.h',