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