From a2a2ac7b1e9c4bbde84c34b2fc1b8fa3cd8c91e9 Mon Sep 17 00:00:00 2001 From: Ethan Jackson Date: Thu, 16 Jan 2014 16:20:17 -0800 Subject: [PATCH] ovs-dev.py: Add compiler optimization options. Signed-off-by: Ethan Jackson Acked-by: Jarno Rajahalme --- utilities/ovs-dev.py | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/utilities/ovs-dev.py b/utilities/ovs-dev.py index 39af37a64..dff1a3a7c 100755 --- a/utilities/ovs-dev.py +++ b/utilities/ovs-dev.py @@ -28,7 +28,7 @@ BUILD_GCC = OVS_SRC + "/_build-gcc" BUILD_CLANG = OVS_SRC + "/_build-clang" PATH = "%(ovs)s/utilities:%(ovs)s/ovsdb:%(ovs)s/vswitchd" % {"ovs": BUILD_GCC} -ENV["CFLAGS"] = "-g -fno-omit-frame-pointer -O0" +ENV["CFLAGS"] = "-g -fno-omit-frame-pointer" ENV["PATH"] = PATH + ":" + ENV["PATH"] options = None @@ -74,6 +74,10 @@ def conf(): if options.mandir: configure.append("--mandir=" + options.mandir) + if options.optimize is None: + options.optimize = 0 + ENV["CFLAGS"] = "%s -O%d" % (ENV["CFLAGS"], options.optimize) + _sh("./boot.sh") try: @@ -320,6 +324,10 @@ def main(): action="store_true", help="configure with cached timing") group.add_option("--mandir", dest="mandir", metavar="MANDIR", help="configure the man documentation install directory") + + for i in range(4): + group.add_option("--O%d" % i, dest="optimize", action="store_const", + const=i, help="compile with -O%d" % i) parser.add_option_group(group) group = optparse.OptionGroup(parser, "run") -- 2.43.0