From ad84e266987a46d88336a23a14ea27100e4cd160 Mon Sep 17 00:00:00 2001 From: Mohammad Akhlaghi Date: Mon, 20 Apr 2020 20:33:39 +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(-) (limited to 'reproduce/software') diff --git a/reproduce/software/shell/configure.sh b/reproduce/software/shell/configure.sh index 7f837a5..b4cf43b 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 <