diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-12-19 20:02:59 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-12-19 20:02:59 +0000 |
| commit | 1936ba605dd14c03570b5346b88b6d76dd165180 (patch) | |
| tree | df51cb26a070b3515d8663f50acf110dafeafebc | |
| parent | 9b03a12aa39488d5350c71640f3e2e3feabccc0b (diff) | |
Removed temporary file for testing Bzip2's version
Bzip2's verison is found differently from the other programs (because it
writes no standard error, not standard output!). So a custom function is
written for it which includes creating a temporary file. But we had forgot
to delete that file after the version is found.
| -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 |