From e99ecc2acb15d60a13049fa8729346955613b030 Mon Sep 17 00:00:00 2001
From: "Gustavo J. A. M. Carneiro" <gjc@inescporto.pt>
Date: Sun, 3 Apr 2011 17:39:30 +0100
Subject: [PATCH] Enable the boost waf command-line options

---
 src/openflow/wscript | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/openflow/wscript b/src/openflow/wscript
index 9f13604f2..b98b48048 100644
--- a/src/openflow/wscript
+++ b/src/openflow/wscript
@@ -6,7 +6,8 @@ import Options
 def set_options(opt):
     opt.add_option('--with-openflow',
 		   help=('Path to OFSID source for NS-3 OpenFlow Integration support'),
-		   default='', dest='with_openflow') 
+		   default='', dest='with_openflow')
+    opt.tool_options('boost')
 
 def configure(conf):
     conf.check_tool('boost')