change

[IRC.git] / Robust / src / Tests / rcr / makefile

diff --git a/Robust/src/Tests/rcr/makefile b/Robust/src/Tests/rcr/makefile
index 75f7394493344784d39b10452e08e9d9b6daa796..7e478f53587ff414f969eac0bcaa15cb66cf0036 100644 (file)
--- 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)