From 2a0e378af6abbc2d61129debf360ed714e4275a4 Mon Sep 17 00:00:00 2001
From: MITSUNARI Shigeo <herumi@nifty.com>
Date: Wed, 8 Mar 2017 14:33:20 +0900
Subject: always make mcl

---
 Makefile | 2 ++
 1 file changed, 2 insertions(+)

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
-- 
cgit v1.2.3