New C Runtime.

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

diff --git a/Repair/RepairCompiler/MCC/Runtime/buildruntime b/Repair/RepairCompiler/MCC/Runtime/buildruntime
index 1d69d05e08b727c178bf81d89518ad6f5cd0bea2..c056fb6832e06000d224f82e0cd23b01e7980bb2 100755 (executable)
--- a/Repair/RepairCompiler/MCC/Runtime/buildruntime
+++ b/Repair/RepairCompiler/MCC/Runtime/buildruntime
@@ -1,8 +1,8 @@
 #!/bin/bash
-FLAG='-O0 -g'
-g++ $FLAG -c SimpleHash.cc
-g++ $FLAG -c tmap.cc
-g++ $FLAG -c instrument.cc
+FLAG='-O0 -g -pedantic'
+gcc $FLAG -c SimpleHash.c
+gcc $FLAG -c tmap.c
+gcc $FLAG -c instrument.c
 gcc $FLAG -c libredblack/redblack.c
 gcc $FLAG -c stack.c
-g++ $FLAG -c size.cc
+