// String[] dirNames = args;
-// String[] dirNames = new String[args.length - 2];
-// for (int i = 0; i < args.length - 2; i++) {
-// dirNames[i] = args[i + 2];
-// }
- String[] dirNames = Environment.Benchmarks;
+ String[] dirNames = new String[args.length - 2];
+ for (int i = 0; i < args.length - 2; i++) {
+ dirNames[i] = args[i + 2];
+ }
+// String[] dirNames = Environment.Benchmarks;
for (int i = 0; i < dirNames.length; i++) {
String dirName = dirNames[i];