From 6f76995bc5fb59a42532601f6a0a4951b4f92367 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Wed, 20 Oct 2010 08:02:48 +0000
Subject: [PATCH] change

---
 Robust/src/Tests/rcr/makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)
-- 
2.34.1