src/wscript
changeset 968 70d02500c9d5
parent 955 c9be0df711d2
child 969 3c3ce40492a6
--- a/src/wscript	Mon Jul 23 15:24:17 2007 +0200
+++ b/src/wscript	Mon Jul 23 15:53:54 2007 +0200
@@ -17,6 +17,7 @@
     'internet-node',
     'devices/p2p',
     'applications',
+    'mobility',
     ]