From: Brian Norris <banorris@uci.edu>
Date: Fri, 17 Aug 2012 00:40:40 +0000 (-0700)
Subject: test/Makefile: remove pointless variable
X-Git-Tag: pldi2013~269
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=a987e15cfe1daabd3d5ff0d785c8a43aedaea3c3;p=model-checker.git

test/Makefile: remove pointless variable
---

diff --git a/test/Makefile b/test/Makefile
index f7a01be..c817399 100644
--- a/test/Makefile
+++ b/test/Makefile
@@ -1,7 +1,6 @@
 include ../common.mk
 
 CPPFLAGS += -I.. -I../include
-TESTS=userprog
 
 SRCS = $(wildcard *.c)
 OBJS = $(patsubst %.c,%.o,$(SRCS))
@@ -12,4 +11,4 @@ all: $(OBJS)
 	$(CC) -o $@ $< $(CPPFLAGS) -L.. -l$(LIB_NAME)
 
 clean::
-	rm -f *.o $(TESTS)
+	rm -f *.o