fix task name in wscript
authorTom Henderson <tomh@tomh.org>
Wed, 22 Jul 2015 08:42:18 -0700
changeset 11521 b23ca9ee0050
parent 11520 fa9763e3cbe1
child 11522 5923ce4dd866
fix task name in wscript
src/wscript
--- a/src/wscript	Wed Jul 22 01:13:59 2015 +0200
+++ b/src/wscript	Wed Jul 22 08:42:18 2015 -0700
@@ -559,7 +559,7 @@
 
 class ns3privateheader_task(Task.Task):
     before = 'cxx gen_ns3_module_header'
-    after = 'ns3_header'
+    after = 'ns3header'
     color = 'BLUE'
 
     def __str__(self):