}
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.REGISTER,
+// Environment.MS_QUEUE,
+// Environment.LINUXRWLOCKS,
+// Environment.MCS_LOCK,
+// Environment.DEQUE,
+// Environment.TREIBER_STACK };
+ String[] dirNames = args;
- for (int i = 5; i < dirNames.length; i++) {
+ for (int i = 0; i < dirNames.length; i++) {
String dirName = dirNames[i];
- System.out.println("/********** Processing " + dirName
+ System.out.println("/********** Generating CDSSpec files for " + dirName
+ " **********/");
CodeGenerator generator = new CodeGenerator(dirName);
generator.generateCode();