From 1936ba605dd14c03570b5346b88b6d76dd165180 Mon Sep 17 00:00:00 2001
From: Mohammad Akhlaghi <mohammad@akhlaghi.org>
Date: Wed, 19 Dec 2018 20:02:59 +0000
Subject: 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.
---
 reproduce/src/make/initialize.mk | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

(limited to 'reproduce')

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
-- 
cgit v1.2.1