diff options
Diffstat (limited to 'reproduce/src/make')
| -rw-r--r-- | reproduce/src/make/initialize.mk | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/reproduce/src/make/initialize.mk b/reproduce/src/make/initialize.mk index b2b5407..4f96c5d 100644 --- a/reproduce/src/make/initialize.mk +++ b/reproduce/src/make/initialize.mk @@ -226,12 +226,13 @@ $(mtexdir)/initialize.tex: | $(mtexdir) # Bzip2 prints its version in standard error, not standard output! echo "" | bzip2 --version &> $@_bzip2_ver; - v=$$(awk 'NR==1 && /'$(bzip2-version)'/{print "y"; exit 0}' \ - $@_bzip2_ver); \ - if [ x$$v != xy ]; then \ - echo; echo "PIPELINE ERROR: Not running Bzip2 $(bzip2-version)"; \ - echo; exit 1; \ - fi; \ + v=$$(awk 'NR==1 && /'$(bzip2-version)'/{print "y"; exit 0}' \ + $@_bzip2_ver); + if [ x$$v != xy ]; then + echo; echo "PIPELINE ERROR: Not running Bzip2 $(bzip2-version)"; + echo; exit 1; + fi; + rm $@_bzip2_ver echo "\newcommand{\\bziptwoversion}{$(bzip2-version)}" >> $@ # Unfortunately we couldn't find a way to retrieve the version of |