src/wscript
changeset 3839 c85506878fe5
parent 3830 8862b9be62bb
child 3854 c049b25f2ded
--- a/src/wscript	Thu Oct 30 16:39:37 2008 -0700
+++ b/src/wscript	Wed Nov 05 14:08:54 2008 -0800
@@ -20,7 +20,6 @@
     'devices/point-to-point',
     'devices/csma',
     'devices/bridge',
-    'devices/tap',
     'devices/emu',
     'applications/onoff',
     'applications/packet-sink',