projects / repair.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 807c1e5)
build with other copy
authorbdemsky <bdemsky>
Wed, 6 Sep 2006 13:40:34 +0000 (13:40 +0000)
committerbdemsky <bdemsky>
Wed, 6 Sep 2006 13:40:34 +0000 (13:40 +0000)
Repair/RepairCompiler/MCC/CRuntime/buildruntime patch | blob | history

diff --git a/Repair/RepairCompiler/MCC/CRuntime/buildruntime b/Repair/RepairCompiler/MCC/CRuntime/buildruntime
index ac3149bfb56cead42ac2f56ca895736708c57213..774d9b7ff56bbe0e68073214eb34e5e677fad263 100755 (executable)
--- a/Repair/RepairCompiler/MCC/CRuntime/buildruntime
+++ b/Repair/RepairCompiler/MCC/CRuntime/buildruntime
@@ -3,7 +3,7 @@ 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 redblack.c
 gcc $FLAG -c stack.c
 gcc $FLAG -c size.c
 
Data structure repair