# HG changeset patch # User frederic.urbani@inria.fr # Date 1348058364 -7200 # Node ID d45e93cd80f07c6652c93edfb2c34477dc003cd1 # Parent 9df4feb94fa8b787d2c1436fedd43ab3eae36961 Update wscript. diff -r 9df4feb94fa8 -r d45e93cd80f0 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',