From 0b43e30aeaf58f5ae2a0d05bb70c8c76f3068f52 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Thu, 2 Oct 2014 11:43:30 +0200
Subject: Added make dependency in %.out in output tests.

---
 test-suite/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test-suite/Makefile b/test-suite/Makefile
index 8bb9210b65..9e3c9152fa 100644
--- a/test-suite/Makefile
+++ b/test-suite/Makefile
@@ -253,7 +253,7 @@ $(addsuffix .log,$(wildcard failure/*.v)): %.v.log: %.v
 	  fi; \
 	} > "$@"
 
-$(addsuffix .log,$(wildcard output/*.v)): %.v.log: %.v
+$(addsuffix .log,$(wildcard output/*.v)): %.v.log: %.v %.out
 	@echo "TEST      $< $(call get_coq_prog_args_in_parens,"$<")"
 	$(HIDE){ \
 	  echo $(call log_intro,$<); \
-- 
cgit v1.2.3