aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorRaul Infante-Sainz <infantesainz@gmail.com>2019-05-22 10:04:49 +0100
committerRaul Infante-Sainz <infantesainz@gmail.com>2019-05-22 10:04:49 +0100
commit51bae08d52d3e6013b3b0fbfb4e5193e9f7b06f4 (patch)
treed1ffacf82a3ae541de4d6c68d722e57670457550 /configure
parentfd119ef0edbc2f8b0ee2b4827c8faed78adc0cb1 (diff)
Removing extra spaces in variable definition in configure script
With this commit, extra spaces in the definition of two variables in the `configure' script have been removed. Since they are defined in a `shell' context (not in `make'), variable assignation is not allow to have any space at both sides of the `=' character. I detected these typos when trying to run `./configure' in a particular project.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure4
1 files changed, 2 insertions, 2 deletions
diff --git a/configure b/configure
index af14f84..ab3ef93 100755
--- a/configure
+++ b/configure
@@ -679,8 +679,8 @@ if ! [ -d $mtexdir ]; then mkdir $mtexdir; fi
if [ "x$reproducible_paper_group_name" = x ]; then
texbdir=$texdir/build
else
- user = $(whoami)
- texbdir = $texdir/build-$user
+ user=$(whoami)
+ texbdir=$texdir/build-$user
fi
if ! [ -d $texbdir ]; then mkdir $texbdir; fi