1 files changed, 2 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index de7f0d1..1c00636 100644
--- a/Makefile
+++ b/Makefile
@@ -27,6 +27,8 @@ MCL_LIB=../mcl/lib/libmcl.a
 $(MCL_LIB):
 	$(MAKE) -C ../mcl
 
+.PHONY: $(MCL_LIB)
+
 ##################################################################
 
 BLS_IF_LIB=$(LIB_DIR)/libbls_if.a