diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-12-01 16:36:04 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-12-01 16:38:08 +0000 |
| commit | a9786200d5ed5bde30cb29b445e2a6af06694b2e (patch) | |
| tree | ca1f3277f6ee724b43e458a5df25795a665827fe /reproduce/analysis/make/verify.mk | |
| parent | 8fbf384f7ca3d3cba566194c21da23ee6c9374be (diff) | |
| parent | ac8eee90b1580fb566ee5b84fef9acb4ed437c01 (diff) | |
Imported recent work in Maneage, minor conflicts fixed
Some minor conflicts that came up during the merge were fixed.
Diffstat (limited to 'reproduce/analysis/make/verify.mk')
| -rw-r--r-- | reproduce/analysis/make/verify.mk | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/reproduce/analysis/make/verify.mk b/reproduce/analysis/make/verify.mk index fe828dd..35f49db 100644 --- a/reproduce/analysis/make/verify.mk +++ b/reproduce/analysis/make/verify.mk @@ -114,8 +114,12 @@ verify-dep = $(subst verify,,$(subst paper,,$(makesrc))) verify-check = $(subst initialize,,$(verify-dep)) $(mtexdir)/verify.tex: $(foreach s, $(verify-dep), $(mtexdir)/$(s).tex) - # Make sure that verification is actually requested. - if [ x"$(verify-outputs)" = xyes ]; then + # Make sure that verification is actually requested, the '@' at the + # start of the recipe is added so Make doesn't print the commands + # on the standard output because this recipe is run on every call + # to the project and can be annoying (get mixed in the middle of + # the analysis outputs or the LaTeX outputs). + @if [ x"$(verify-outputs)" = xyes ]; then # Make sure the temporary output doesn't exist (because we want # to append to it). We are making a temporary output target so if |