This seems reasonable. I'll send a follow-up patch.
On 30 May 2014 08:08, Ethan Jackson wrote:
> So my only comment is that I'd prefer it automagically detect whether
> the user is specifying a test number, or a test name. I've got
> something similar to my personal scripts which essentially d
So my only comment is that I'd prefer it automagically detect whether
the user is specifying a test number, or a test name. I've got
something similar to my personal scripts which essentially does the
following:
if args.test[0].isdigit():
test_flags = args.test
else:
Ethan, I think you should review this.
On Sun, May 18, 2014 at 9:11 PM, Joe Stringer wrote:
> Signed-off-by: Joe Stringer
> ---
> utilities/ovs-dev.py | 10 ++
> 1 file changed, 10 insertions(+)
>
> diff --git a/utilities/ovs-dev.py b/utilities/ovs-dev.py
> index 7a4425f..97fab6c 1007
Signed-off-by: Joe Stringer
---
utilities/ovs-dev.py | 10 ++
1 file changed, 10 insertions(+)
diff --git a/utilities/ovs-dev.py b/utilities/ovs-dev.py
index 7a4425f..97fab6c 100755
--- a/utilities/ovs-dev.py
+++ b/utilities/ovs-dev.py
@@ -144,6 +144,10 @@ commands.append(make)
de