Update wscript.
authorfrederic.urbani@inria.fr
Wed, 19 Sep 2012 14:39:24 +0200
changeset 274 d45e93cd80f0
parent 273 9df4feb94fa8
child 275 9055b93b8b08
Update wscript.
wscript
--- a/wscript	Wed Sep 19 14:38:42 2012 +0200
+++ b/wscript	Wed Sep 19 14:39:24 2012 +0200
@@ -415,7 +415,7 @@
         'model/dce-at.cc',
         'model/exec-utils.cc',
         'model/linux/ipv4-linux.cc',
-#        'model/dce-vfs.cc',
+        'model/dce-vfs.cc',
         'model/elf-ldd.cc',
         # helper.
         'helper/ipv4-dce-routing-helper.cc',