From: Peizhao Ou <peizhaoo@uci.edu>
Date: Mon, 9 Dec 2013 06:27:26 +0000 (-0800)
Subject: save
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=commitdiff_plain;h=af9be8c5e80494d5e68be1aa61a0c90eab516208

save
---

diff --git a/src/edu/uci/eecs/specCompiler/codeGenerator/CodeGenerator.java b/src/edu/uci/eecs/specCompiler/codeGenerator/CodeGenerator.java
index 2e44f5a..b23ec8c 100644
--- a/src/edu/uci/eecs/specCompiler/codeGenerator/CodeGenerator.java
+++ b/src/edu/uci/eecs/specCompiler/codeGenerator/CodeGenerator.java
@@ -246,14 +246,14 @@ public class CodeGenerator {
 		File[] srcFiles = {
 				// new File(Environment.MODEL_CHECKER_TEST_DIR +
 				// "/backup_linuxrwlocks.c") };
-				// new File(homeDir + "/benchmark/linuxrwlocks/linuxrwlocks.c")
-				// };
+				 new File(homeDir + "/benchmark/linuxrwlocks/linuxrwlocks.c")
+				 };
 				// new File(homeDir
 				// +
 				// "/benchmark/cliffc-hashtable/simplified_cliffc_hashtable.h"),
 				// };
-				new File(homeDir + "/benchmark/ms-queue/my_queue.c"),
-				new File(homeDir + "/benchmark/ms-queue/my_queue.h") };
+//				new File(homeDir + "/benchmark/ms-queue/my_queue.c"),
+//				new File(homeDir + "/benchmark/ms-queue/my_queue.h") };
 		// new File(homeDir + "/benchmark/test/test.c") };
 		CodeGenerator gen = new CodeGenerator(srcFiles);
 		gen.generateCode();