|
| From: | Petr Machata |
| Subject: | [bug #39934] make closes a wrong FD, results in *** INTERNAL: readdir: Bad file descriptor |
| Date: | Wed, 04 Sep 2013 00:11:02 +0000 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:12.0) Gecko/20100101 Firefox/12.0 |
Follow-up Comment #2, bug #39934 (project make):
This is consistently reproducible with current git HEAD (40a49f24) as well as
3.82.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?39934>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
| [Prev in Thread] | Current Thread | [Next in Thread] |