unofficial mirror of guix-patches@gnu.org 
 help / color / mirror / code / Atom feed
* [bug#61673] [PATCH 0/1] GNULIB_SRCDIR should not allow multiple entries
@ 2023-02-21  7:51 Vivien Kraus via Guix-patches via
  2023-02-21  6:49 ` [bug#61673] [PATCH 1/1] gnu: gnulib: Allow only one directory name in GNULIB_SRCDIR Vivien Kraus via Guix-patches via
  0 siblings, 1 reply; 3+ messages in thread
From: Vivien Kraus via Guix-patches via @ 2023-02-21  7:51 UTC (permalink / raw)
  To: 61673

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 543 bytes --]

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




^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2023-02-23 15:28 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2023-02-21  7:51 [bug#61673] [PATCH 0/1] GNULIB_SRCDIR should not allow multiple entries Vivien Kraus via Guix-patches via
2023-02-21  6:49 ` [bug#61673] [PATCH 1/1] gnu: gnulib: Allow only one directory name in GNULIB_SRCDIR Vivien Kraus via Guix-patches via
2023-02-23 15:27   ` bug#61673: [PATCH 0/1] GNULIB_SRCDIR should not allow multiple entries Ludovic Courtès

Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/guix.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).