diff options
author | Vivien Kraus <vivien@planete-kraus.eu> | 2023-02-21 07:49:58 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2023-02-23 16:31:37 +0100 |
commit | 3809aa01a1287dbe5be90e7aa4407bf27a6467ed (patch) | |
tree | e0e50145f0a5837ead56c1f4ef83210d88d54769 /gnu/packages/java.scm | |
parent | 84c9a94b451fb46eeef5d56ff58921ea0b8ce510 (diff) |
gnu: gnulib: Allow only one directory name in GNULIB_SRCDIR.
* gnu/packages/build-tools.scm (gnulib-checkout) [search-path-specification
GNULIB_SRCDIR]: Set separator to #f.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages/java.scm')
0 files changed, 0 insertions, 0 deletions