From 65a4bc30d99aada8e5f17711bc5a4ff242d22881 Mon Sep 17 00:00:00 2001 From: Werner Koch Date: Tue, 3 Dec 2024 11:55:53 +0100 Subject: Minor cleanness fix for autogen.sh * autogen.sh (w32root): Remove double slash in case of HOME=/. --- autogen.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/autogen.sh b/autogen.sh index 271aa0a..0b08e8b 100755 --- a/autogen.sh +++ b/autogen.sh @@ -15,7 +15,7 @@ # configure it for the respective package. It is maintained as part of # GnuPG and source copied by other packages. # -# Version: 2024-11-21 +# Version: 2024-12-03 configure_ac="configure.ac" @@ -335,6 +335,7 @@ if [ "$myhost" = "w32" ]; then extraoptions="$extraoptions $w32_extraoptions" ;; esac + w32root=$(echo "$w32root" | sed s,^//,/,) info "Using $w32root as standard install directory" replace_sysroot -- cgit v1.2.3