pass node-js command line arguments to microbench

diff --git a/tests/microbench.js b/tests/microbench.js
index 302f2ad7579cf5ce90bc8b48526a6d29f91c6e02..6bf0b836d859b5d2f2de415e889af16efafb5d13 100644 (file)
--- a/tests/microbench.js
+++ b/tests/microbench.js
@@ -1136,6 +1136,9 @@ function main(argc, argv, g)
         save_result("microbench-new.txt", log_data);
 }
 
-if (typeof scriptArgs === "undefined")
+if (typeof scriptArgs === "undefined") {
     scriptArgs = [];
+    if (typeof process.argv === "object")
+        scriptArgs = process.argv.slice(1);
+}
 main(scriptArgs.length, scriptArgs, this);