diff --git a/wscript b/wscript
index 2bda36755c..8fb475ac98 100644
--- a/wscript
+++ b/wscript
@@ -100,20 +100,19 @@ def set_options(opt):
                 , dest='shared_v8_libname'
                 )
 
-  if sys.platform.startswith("linux"):
-    opt.add_option( '--oprofile'
-                  , action='store_true'
-                  , default=False
-                  , help="add oprofile support"
-                  , dest='use_oprofile'
-                  )
-
-    opt.add_option( '--gdb'
-                  , action='store_true'
-                  , default=False
-                  , help="add gdb support"
-                  , dest='use_gdbjit'
-                  )
+  opt.add_option( '--oprofile'
+                , action='store_true'
+                , default=False
+                , help="add oprofile support"
+                , dest='use_oprofile'
+                )
+
+  opt.add_option( '--gdb'
+                , action='store_true'
+                , default=False
+                , help="add gdb support"
+                , dest='use_gdbjit'
+                )
 
 
   opt.add_option('--shared-cares'