--- a/src/wscript Wed Oct 29 11:18:39 2008 -0700 +++ b/src/wscript Wed Oct 29 11:19:01 2008 -0700 @@ -29,6 +29,7 @@ 'helper', 'devices/bridge', 'contrib/stats', + 'applications/v4ping', ) def set_options(opt):