Hi all,
On 14.06.22 00:39, Paul Eggert wrote:
In many Gnu projects, the 'configure' script is the biggest barrier to
building because it takes s long to run. Is there some way that we
could improve its performance without completely reengineering it, by
improving Bash so that it can parall
On 5/29/19 12:53 PM, Tim Rühsen wrote:
> On 5/28/19 6:04 PM, G. Branden Robinson wrote:
>> At 2019-05-28T17:01:52+0200, Tim Rühsen wrote:
>>> Since distributions like Debian doesn't deliver binaries from
>>> examples/,
>>
>> That doesn't sound
On 5/28/19 6:04 PM, G. Branden Robinson wrote:
> At 2019-05-28T17:01:52+0200, Tim Rühsen wrote:
>> Since distributions like Debian doesn't deliver binaries from
>> examples/,
>
> That doesn't sound accurate to me. The Debian Policy Manual, §12.6,
> encourages th
On 5/28/19 4:38 PM, Chet Ramey wrote:
> On 5/28/19 8:32 AM, Tim Rühsen wrote:
>
>> configure: error: Your 'rm' program is bad, sorry.
>> #
>>
>> Is it possible to fix the loadable 'rm' command ?
>> Let me know if you want me to pr
Hi,
I just built bash from git master
(3ba697465bc74fab513a26dea700cc82e9f4724e) and enabled the 'rm' loadable via
enable -f ~/src/bash/examples/loadables/rm rm
Now, the next './configure' (autotools) says:
#
rm: usage: rm [-rf] file ...
Oops!
Your 'rm' program seems unable to run withou
On Montag, 31. Oktober 2016 13:09:15 CET Chet Ramey wrote:
> On 10/31/16 7:59 AM, Tim Ruehsen wrote:
> > Added the 'rm' command to examples/loadables.
> >
> > It accepts -r and -f.
>
> Thanks for the submission. I modified it pretty heavily, and it will be
> in the next release of bash and the n
Hi,
currently, some GNU people are developing ideas and code to speed up the GNU
toolchain (autotools, make).
A simple ./configure for wget calls 'cat' ~2000 times, same with 'rm'.
This sums up to a roughly 5-10% of the overall time used in ./configure.
Since cat and rm implementations are pret
On Sonntag, 30. Oktober 2016 17:33:15 CET Tim Rühsen wrote:
> Hi,
>
> currently, some GNU people are developing ideas and code to speed up the GNU
> toolchain (autotools, make).
>
> A simple ./configure for wget calls 'cat' ~2000 times, same with 'rm'.
&g
