src/wscript
changeset 3821 9ea825f066a2
parent 3581 048d80fcffde
child 3829 97ae21d8caca
--- 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):