diff options
author | Raul Infante-Sainz <infantesainz@gmail.com> | 2019-05-22 10:04:49 +0100 |
---|---|---|
committer | Raul Infante-Sainz <infantesainz@gmail.com> | 2019-05-22 10:04:49 +0100 |
commit | 51bae08d52d3e6013b3b0fbfb4e5193e9f7b06f4 (patch) | |
tree | d1ffacf82a3ae541de4d6c68d722e57670457550 /configure | |
parent | fd119ef0edbc2f8b0ee2b4827c8faed78adc0cb1 (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-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |