From 86e687086b7a7fd452b941c454f1f86b2063c571 Mon Sep 17 00:00:00 2001 From: Ryan Dahl Date: Thu, 20 Jan 2011 19:07:15 -0800 Subject: [PATCH] waf: display oprofile and gdbjit options for all platforms was breaking mac --- wscript | 27 +++++++++++++-------------- 1 file changed, 13 insertions(+), 14 deletions(-) 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'