ovs-dev.py: Support additional optimization flags.
authorEthan Jackson <ethan@nicira.com>
Fri, 5 Sep 2014 20:53:31 +0000 (13:53 -0700)
committerEthan Jackson <ethan@nicira.com>
Wed, 17 Sep 2014 04:35:01 +0000 (21:35 -0700)
commit1bcf46c62e6db4786d667b495a979381eb40680e
treeb8fbdafd2b092d84ba6450938a2ada52d10fbfbc
parent3245c4986b9396b130e42fbb7fe72e53733c1d53
ovs-dev.py: Support additional optimization flags.

They may or may not make a difference, but there's no reason not to
support passing them.

Signed-off-by: Ethan Jackson <ethan@nicira.com>
Acked-by: Daniele Di Proietto <ddiproietto@vmware.com>
utilities/ovs-dev.py