From 11ee46fbbda4d6bcc34d7b9b9fe883d5b772938e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Karl=20Lind=C3=A9n?= <karl.j.linden@gmail.com>
Date: Sat, 2 May 2015 10:18:27 +0200
Subject: [PATCH] use Options instead of waflib.Options

---
 wscript | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/wscript b/wscript
index 79188125..2d4007ad 100644
--- a/wscript
+++ b/wscript
@@ -13,7 +13,6 @@ import re
 import Logs
 import sys
 
-import waflib.Options
 from waflib.Build import BuildContext, CleanContext, InstallContext, UninstallContext
 
 VERSION='1.9.11'
@@ -695,7 +694,7 @@ def build(bld):
 
     if not bld.variant:
         if bld.env['BUILD_WITH_32_64'] == True:
-            waflib.Options.commands.append(bld.cmd + '_' + lib32)
+            Options.commands.append(bld.cmd + '_' + lib32)
 
     # process subfolders from here
     bld.add_subdirs('common')