diff options
Diffstat (limited to 'reproduce/analysis/make/verify.mk')
| -rw-r--r-- | reproduce/analysis/make/verify.mk | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/reproduce/analysis/make/verify.mk b/reproduce/analysis/make/verify.mk index 1573920..fb8afc0 100644 --- a/reproduce/analysis/make/verify.mk +++ b/reproduce/analysis/make/verify.mk @@ -119,7 +119,9 @@ $(mtexdir)/verify.tex: $(foreach s, $(verify-dep), $(mtexdir)/$(s).tex) fi $(call verify-txt-no-comments-leading-space, $$file, $$s) done - fi - # Make an empty final target. - touch $@ + # Make an empty final target. + echo "%% Project outputs are verified." > $@ + else + echo "%% Project outputs NOT VERIFIED!!!" > $@ + fi |