src/openflow/wscript
changeset 7488 72d0c878f3c7
parent 7487 82cd20da9650
child 7494 d93f5e8e0a59
--- a/src/openflow/wscript	Thu Sep 08 16:13:40 2011 +0100
+++ b/src/openflow/wscript	Mon Sep 12 14:54:27 2011 +0100
@@ -3,7 +3,7 @@
 import os
 import Options
 
-def set_options(opt):
+def options(opt):
     opt.add_option('--with-openflow',
 		   help=('Path to OFSID source for NS-3 OpenFlow Integration support'),
 		   default='', dest='with_openflow')