From 3e7bad6f3fadf390e90d2b11b1c22c005c3096b1 Mon Sep 17 00:00:00 2001
From: John McMaster <johndmcmaster@gmail.com>
Date: Tue, 27 Nov 2018 14:24:16 -0800
Subject: [PATCH] rempips: makefile todo.txt vivado only once

Signed-off-by: John McMaster <johndmcmaster@gmail.com>
---
 fuzzers/056-rempips/Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/fuzzers/056-rempips/Makefile b/fuzzers/056-rempips/Makefile
index 5e4ab572..62b81f16 100644
--- a/fuzzers/056-rempips/Makefile
+++ b/fuzzers/056-rempips/Makefile
@@ -16,8 +16,10 @@ $(SPECIMENS_OK): todo.txt
 	bash generate.sh $(subst /OK,,$@)
 	touch $@
 
-todo.txt:
+pips_int_l.txt: piplist.tcl
 	vivado -mode batch -source piplist.tcl
+
+todo.txt: pips_int_l.txt
 	python3 maketodo.py | sort -R | head -n10 > todo.txt.tmp
 	mv todo.txt.tmp todo.txt