model: check_current_action returns its 'nextThread'

[model-checker.git] / test / Makefile

diff --git a/test/Makefile b/test/Makefile
index f7a01be0a344285f11e62af3de537699790ab47a..c81739902b94d01fd48aee8064228149a7595443 100644 (file)
--- 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