diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-06-30 15:45:17 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-06-30 15:45:17 +0100 |
| commit | f32b509313a9427347db0275ed09cb1b70bb3d89 (patch) | |
| tree | fd1f21f8336eb00457b28536d4d712918bcff6d8 /reproduce/software/shell/configure.sh | |
| parent | 3c05ca1e1c4c50784e20fb30d3d6d916e22c5ede (diff) | |
Entered data and software directories stored as absolute addresses
Until now, when the user specified an input and software directory, the raw
string they entered was used. But when this string was a relative location,
this could be problematic in general scenarios.
With this commit, the same function that finds the absolute location of the
build directory is used to find the absolute address of the data and
software directories.
Diffstat (limited to 'reproduce/software/shell/configure.sh')
| -rwxr-xr-x | reproduce/software/shell/configure.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/reproduce/software/shell/configure.sh b/reproduce/software/shell/configure.sh index 323aed1..f428416 100755 --- a/reproduce/software/shell/configure.sh +++ b/reproduce/software/shell/configure.sh @@ -872,7 +872,7 @@ EOF # In case an input-directory is given, write it in 'indir'. if [ x$inindir != x ]; then - indir=$inindir + indir=$(absolute_dir $inindir) echo " -- Using '$indir'" fi fi @@ -916,7 +916,7 @@ EOF # If given, write the software directory. if [ x"$tmpddir" != x ]; then - ddir=$tmpddir + ddir=$(absolute_dir $tmpddir) echo " -- Using '$ddir'" fi fi |