src/applications/wscript
changeset 6941 9d2c79c992d7
parent 6905 355d6562399e
child 6947 a4acf45d3dc9
--- a/src/applications/wscript	Thu Mar 24 15:11:56 2011 +0100
+++ b/src/applications/wscript	Thu Mar 24 09:23:44 2011 -0700
@@ -1,7 +1,7 @@
 ## -*- Mode: python; py-indent-offset: 4; indent-tabs-mode: nil; coding: utf-8; -*-
 
 def build(bld):
-    module = bld.create_ns3_module('applications', ['internet', 'contrib'])
+    module = bld.create_ns3_module('applications', ['internet', 'config-store', 'tools'])
     module.source = [
         'model/bulk-send-application.cc',
         'model/onoff-application.cc',