X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=treiber-stack%2FMakefile;fp=treiber-stack%2FMakefile;h=0000000000000000000000000000000000000000;hb=1e4cd56e5cf72f7cb6dddb2990183f050afc4cbc;hp=99cac3f86adf55576a843937a109d2c40bba5cd7;hpb=7ca8c7d4c3d13ce31873200b12403bb4ea7e4195;p=model-checker-benchmarks.git

diff --git a/treiber-stack/Makefile b/treiber-stack/Makefile
deleted file mode 100644
index 99cac3f..0000000
--- a/treiber-stack/Makefile
+++ /dev/null
@@ -1,10 +0,0 @@
-include ../benchmarks.mk
-
-main: my_stack.o main.c
-	$(CC) -o $@ $^ $(CFLAGS) $(LDFLAGS)
-
-%.o: %.c
-	$(CC) -c -o $@ $^ $(CFLAGS)
-
-clean:
-	rm -f *.o