src/wscript
changeset 6794 5dce93cfc499
parent 6717 e041eb593928
child 6801 f07f7f809160
--- a/src/wscript	Fri Jan 28 12:55:16 2011 -0800
+++ b/src/wscript	Fri Jan 28 14:11:21 2011 -0800
@@ -24,6 +24,7 @@
     'contrib',
     'node',
     'internet-stack',
+    'propagation',
     'devices/point-to-point',
     'devices/csma',
     'devices/emu',