[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Bug-gnubg] Severe side effects of makebearoff
From: |
Holger |
Subject: |
Re: [Bug-gnubg] Severe side effects of makebearoff |
Date: |
Thu, 28 Nov 2002 16:18:14 +0100 |
At 09:09 28.11.2002 +0100, Jim Segrave wrote:
>On Wed 27 Nov 2002 (22:56 +0100), Holger wrote:
>> Hi,
>>
>> There is a severe problem with makebearoff under Windows that probably
>> causes wrong creations of the bearoff database.
>>
>> When started it returns after about a second (depending on the computer
>> speed) and unblocks the shell. In case it's used without a pipe temp.db is
>> then only a few 10k small.
>> But the program is still running happily in the background!
>> I stumbled over this when I tried to delete the temp file. I could not,
>> because of access permissions. Under Win95! So much for M$ error messages.
>> Well, the file was still open and in use.
>> I confirmed that makebearoff was still running with WinTop.
>>
>> This makes an automatic generation of br1.c impossible, because
>> makebearoff1 just takes part of the database as input since makebearoff is
>> still not done. (Maybe you're lucky if you're on a fast machine.)
>
>Your make is starting parallel processes. That's not wrong, but in
>this case it can have the effect you've seen. Something like this
>should fix it:
No, this is not caused by make. I've run makebearoff/1 manually from a DOS
box. It returns, but keeps running. Really.
Regards,
Holger
- [Bug-gnubg] Severe side effects of makebearoff, Holger, 2002/11/27
- Re: [Bug-gnubg] Severe side effects of makebearoff, Jim Segrave, 2002/11/28
- Re: [Bug-gnubg] Severe side effects of makebearoff,
Holger <=
- Re: [Bug-gnubg] Severe side effects of makebearoff, Jim Segrave, 2002/11/28
- Re: [Bug-gnubg] Severe side effects of makebearoff, Holger, 2002/11/28
- Re: [Bug-gnubg] Severe side effects of makebearoff, Holger, 2002/11/28
- Re: [Bug-gnubg] Severe side effects of makebearoff, Jim Segrave, 2002/11/28
- Re: [Bug-gnubg] Severe side effects of makebearoff, Holger, 2002/11/28
- Re: [Bug-gnubg] Severe side effects of makebearoff, Nardy Pillards, 2002/11/28