From: bdemsky <bdemsky>
Date: Wed, 6 Sep 2006 13:40:34 +0000 (+0000)
Subject: build with other copy
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=c46b18a40c6c6124c487b1cd47b288d65e25be6c;p=repair.git

build with other copy
---

diff --git a/Repair/RepairCompiler/MCC/CRuntime/buildruntime b/Repair/RepairCompiler/MCC/CRuntime/buildruntime
index ac3149b..774d9b7 100755
--- 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