1 files changed, 7 insertions, 0 deletions
diff --git a/tools/sv/inc/script.js b/tools/sv/inc/script.js
index fca5a972ab..47cd10399c 100755
--- a/tools/sv/inc/script.js
+++ b/tools/sv/inc/script.js
@@ -13,3 +13,10 @@ function doOp( op )
     document.forms[0].op.value = op
     document.forms[0].submit()
 }
+
+function doOp2( op, args )
+{
+    document.forms[0].op.value = op
+    document.forms[0].args.value = args
+    document.forms[0].submit()
+}