diff --git a/Makefile b/Makefile index a510982..104b563 100644 --- a/Makefile +++ b/Makefile @@ -54,6 +54,10 @@ valgrind: build .PHONY: build build: ${bins_target} +.PHONY: pthreads +pthreads: + true + .PHONY: check check: true