From 937f286f816ed80118d873c8baa94d2e1ee86a60 Mon Sep 17 00:00:00 2001
From: dwightguth <dwight.guth@runtimeverification.com>
Date: Wed, 24 Jul 2019 12:46:23 -0500
Subject: [PATCH] another git issue (#410)

---
 Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 15434d30e6..c4fe19482a 100644
--- a/Makefile
+++ b/Makefile
@@ -70,9 +70,11 @@ libff_out:=$(LIBRARY_PATH)/libff.a
 libsecp256k1: $(libsecp256k1_out)
 libff: $(libff_out)
 
-$(libsecp256k1_out):
+$(DEPS_DIR)/secp256k1/autogen.sh:
 	@echo "== submodule: $(DEPS_DIR)/secp256k1"
 	git submodule update --init --recursive -- $(DEPS_DIR)/secp256k1
+
+$(libsecp256k1_out): $(DEPS_DIR)/secp256k1/autogen.sh
 	cd $(DEPS_DIR)/secp256k1/ \
 	    && ./autogen.sh \
 	    && ./configure --enable-module-recovery --prefix="$(BUILD_LOCAL)" \