From 1f8fca2815bd03828221521144b714ad11867549 Mon Sep 17 00:00:00 2001 From: Mohammad Akhlaghi Date: Mon, 20 Apr 2020 20:29:19 +0100 Subject: Configuration: current directory printed properly in stdout Until now, the message that we printed just before starting to build software didn't actually print the current directory, but only `pwd'. With this commit, this is fixed (it uses the `currentdir' variable that is already found before). --- reproduce/software/shell/configure.sh | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/reproduce/software/shell/configure.sh b/reproduce/software/shell/configure.sh index 47b60a6..dc93d80 100755 --- a/reproduce/software/shell/configure.sh +++ b/reproduce/software/shell/configure.sh @@ -610,6 +610,7 @@ fi # Build directory # --------------- +currentdir=$(pwd) if [ $rewritepconfig = yes ]; then cat <