Completed support for generating C code.

[repair.git] / Repair / RepairCompiler / MCC / CRuntime / buildruntime

diff --git a/Repair/RepairCompiler/MCC/CRuntime/buildruntime b/Repair/RepairCompiler/MCC/CRuntime/buildruntime
index c056fb6832e06000d224f82e0cd23b01e7980bb2..3f66d459b1994a321e143fea25a22f7e6b1e955a 100755 (executable)
--- a/Repair/RepairCompiler/MCC/CRuntime/buildruntime
+++ b/Repair/RepairCompiler/MCC/CRuntime/buildruntime
@@ -5,4 +5,5 @@ gcc $FLAG -c tmap.c
 gcc $FLAG -c instrument.c
 gcc $FLAG -c libredblack/redblack.c
 gcc $FLAG -c stack.c
-
+gcc $FLAG -c size.c
+gcc $FLAG -c cache_aux.c