bug-gnulib
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Wget bootstrapping problem


From: Bruno Haible
Subject: Re: Wget bootstrapping problem
Date: Wed, 06 May 2020 18:37:30 +0200
User-agent: KMail/5.1.3 (Linux/4.4.0-177-generic; KDE/5.18.0; x86_64; ; )

> We could also check for an existing wget in bootstrap.conf and set
> SKIP_PO=1 if not found. While it 'just works' it also disguises the real
> problem and the user might get something unexpected
> (non-internationalized wget).

Alternatively, you could change the build system so that
  - 'make' recurses into the 'po/' directory only after 'src/',
  - Fetching the PO files is done through po/Makefile, not bootstrap,
  - po/Makefile uses src/wget, if not cross-compiling, instead of wget from
    $PATH.

Bruno




reply via email to

[Prev in Thread] Current Thread [Next in Thread]