}
static public void main(String[] args) {
-// String[] dirNames = {
-// Environment.REGISTER,
-// Environment.MS_QUEUE,
-// Environment.LINUXRWLOCKS,
-// Environment.MCS_LOCK,
-// Environment.DEQUE,
-// Environment.TREIBER_STACK };
+
String[] dirNames = args;
+// String[] dirNames = Environment.Benchmarks;
for (int i = 0; i < dirNames.length; i++) {
String dirName = dirNames[i];