From edf717aa5feaa19cfaa93d8c650c110e080d5468 Mon Sep 17 00:00:00 2001 From: Dima Pasechnik Date: Wed, 25 Nov 2020 13:34:49 +0000 Subject: [PATCH] allow spaces in the path to srcdir taken from https://packages.debian.org/sid/ecl ``` $ cat harden-configure.patch Description: Make configure work even when the current directory contains spaces Author: Christoph Egger Forwarded: NA --- ecl.orig/configure +++ ecl/configure @@ -10,7 +10,7 @@ #else # srcdir=`pwd`/src #fi -srcdir=`pwd`/src +srcdir="`pwd`/src" [ "x$buildir" = "x" ] && buildir=build export buildir @@ -34,6 +34,6 @@ fi cd ${buildir} -${srcdir}/configure --srcdir=${srcdir} "$@" +"${srcdir}/configure" --srcdir="${srcdir}" $* echo Configuration complete. To build ECL, issue 'make' in this directory. ``` --- configure | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/configure b/configure index 6aef1fc9f..492fdb4a7 100755 --- a/configure +++ b/configure @@ -10,7 +10,7 @@ set -e #else # srcdir=`pwd`/src #fi -srcdir=`pwd`/src +srcdir="`pwd`/src" [ "x$buildir" = "x" ] && buildir=build export buildir @@ -34,6 +34,5 @@ if ( echo $* | grep guess-host-cflags ); then fi cd ${buildir} -${srcdir}/configure --srcdir=${srcdir} "$@" - +"${srcdir}/configure" --srcdir="${srcdir}" $* echo Configuration complete. To build ECL, issue 'make' in this directory. -- GitLab