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',