aboutsummaryrefslogtreecommitdiff
path: root/reproduce/analysis/make/verify.mk
diff options
context:
space:
mode:
Diffstat (limited to 'reproduce/analysis/make/verify.mk')
-rw-r--r--reproduce/analysis/make/verify.mk2
1 files changed, 1 insertions, 1 deletions
diff --git a/reproduce/analysis/make/verify.mk b/reproduce/analysis/make/verify.mk
index d3f3282..a645713 100644
--- a/reproduce/analysis/make/verify.mk
+++ b/reproduce/analysis/make/verify.mk
@@ -110,7 +110,7 @@ verify-txt-no-comments-no-space = \
# essentially the same as 'verify-dep', but it has removed
# the 'initialize' step (which is information about the
# pipeline, not the results).
-verify-dep = $(subst verify,,$(subst paper,,$(makesrc)))
+verify-dep = $(filter-out verify paper, $(makesrc))
verify-check = $(subst initialize,,$(verify-dep))
$(mtexdir)/verify.tex: $(foreach s, $(verify-dep), $(mtexdir)/$(s).tex)