bug#61673: closed ([PATCH 0/1] GNULIB_SRCDIR should not allow multiple entries)

[GNU bug Tracking System]

Your message dated Thu, 23 Feb 2023 16:27:26 +0100
with message-id <87ilfs5rmp.fsf_-_@gnu.org>
and subject line Re: bug#61673: [PATCH 0/1] GNULIB_SRCDIR should not allow 
multiple entries
has caused the debbugs.gnu.org bug report #61673,
regarding [PATCH 0/1] GNULIB_SRCDIR should not allow multiple entries
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
61673: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=61673
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH 0/1] GNULIB_SRCDIR should not allow multiple entries
>
>
>
>
> Date: 
>
> Tue, 21 Feb 2023 08:51:26 +0100
>
>
>
>
> User-agent: 
>
> Evolution 3.46.0 
>
>
>
>
> Dear guix,
>
> GNULIB_SRCDIR is an environment that should be set when gnulib is in the 
> profile. To do that, I made it a search path specification, but I did not know 
> that I could prevent multiple entries.
>
> I was told in #60358 that I could use (separator #f), so here is the fix. Sorry 
> I’m late!
>
> Vivien
>
> Vivien Kraus (1):
>   gnu: gnulib: Allow only one directory name in GNULIB_SRCDIR.
>
>  gnu/packages/build-tools.scm | 3 ++-
>  1 file changed, 2 insertions(+), 1 deletion(-)
>
>
> base-commit: 73b5c955ae46af2548625fe31afe60193fb83e2a
> -- 
> 2.39.1
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#61673: [PATCH 0/1] GNULIB_SRCDIR should not allow multiple entries
>
>
>
>
> Date: 
>
> Thu, 23 Feb 2023 16:27:26 +0100
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux)
>
>
>
>
> Vivien Kraus <vivien@planete-kraus.eu> skribis:
>
> > * gnu/packages/build-tools.scm (gnulib-checkout) [search-path-specification
> > GNULIB_SRCDIR]: Set separator to #f.
>
> Applied, thanks!
>
>
> --- End Message ---