From: bdemsky <bdemsky>
Date: Wed, 20 Oct 2010 08:02:48 +0000 (+0000)
Subject: change
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=6f76995bc5fb59a42532601f6a0a4951b4f92367;p=IRC.git

change
---

diff --git a/Robust/src/Tests/rcr/makefile b/Robust/src/Tests/rcr/makefile
index 75f73944..7e478f53 100644
--- a/Robust/src/Tests/rcr/makefile
+++ b/Robust/src/Tests/rcr/makefile
@@ -10,7 +10,7 @@ BSFLAGS= -64bit -mainclass test -nooptimize -debug
 DISJOINT= -disjoint -disjoint-k 1 -enable-assertions #-disjoint-desire-determinism
 
 
-all: $(PROGRAM1).bin $(PROGRAM2).bin
+all: $(PROGRAM2).bin
 
 $(PROGRAM1).bin: $(SOURCE_FILES)
 	$(BUILDSCRIPT)           $(BSFLAGS) -o $(PROGRAM1) $(SOURCE_FILES)