Update verific/opers makefile

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Update verific/opers makefile
Signed-off-by: Clifford Wolf <clifford@clifford.at>
01897ebf · Clifford Wolf · 3b5a5373 · 01897ebf · 01897ebf
Commit 01897ebf authored Mar 01, 2018 by Clifford Wolf
Hide whitespace changes
Inline Side-by-side

Showing with 7 additions and 3 deletions

verific/opers/.gitignore
+3 -2

verific/opers/Makefile
+4 -1

No files found.
--- a/verific/opers/.gitignore
+++ b/verific/opers/.gitignore
-*.status
-*.log
+/*.status
+/*.log
+/.stamp
--- a/verific/opers/Makefile
+++ b/verific/opers/Makefile
 TESTS := wide_mux sel_mux select wselect rednor

 all: $(addsuffix .status,$(TESTS))
+	touch .stamp

 %.status: %.sv run.sh
-	bash run.sh $(basename $@)
+	-bash run.sh $(basename $@)
+	test -f $@

 clean:
 	rm -f $(addsuffix .log,$(TESTS))
 	rm -f $(addsuffix .status,$(TESTS))
+	rm -f .stamp

 .PHONY: all clean