[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: poll_for_input_1 undefined
From: |
Richard Stallman |
Subject: |
Re: poll_for_input_1 undefined |
Date: |
Sun, 13 Jul 2014 17:54:10 -0400 |
[[[ To any NSA and FBI agents reading my email: please consider ]]]
[[[ whether defending the US Constitution against all enemies, ]]]
[[[ foreign or domestic, requires you to follow Snowden's example. ]]]
> The makefile should update config.in before using it.
It does.
> And it should run configure before compiling the C sources,
> if it is going to run configure at all.
It does.
It didn't for me yesterday.
I don't have the output saved. Next time I hope I will remember
to save it.
If you can give a reproducible recipe showing how to get into the state
that you did, things could be improved. But I imagine that even with
a slow machine, it would be quicker and more efficient to just do a
clean rebuild, rather than us all trying to figure it exactly what
happened.
This is a bug and it should be fixed.
(I am not sure exactly what "a clean rebuild" means.
'make bootstrap'? That takes ages.)
--
Dr Richard Stallman
President, Free Software Foundation
51 Franklin St
Boston MA 02110
USA
www.fsf.org www.gnu.org
Skype: No way! That's nonfree (freedom-denying) software.
Use Ekiga or an ordinary phone call.
- Re: poll_for_input_1 undefined, (continued)
- Re: poll_for_input_1 undefined, Dmitry Antipov, 2014/07/11
- Re: poll_for_input_1 undefined, Glenn Morris, 2014/07/11
- Re: poll_for_input_1 undefined, Andreas Schwab, 2014/07/11
- Re: poll_for_input_1 undefined, Richard Stallman, 2014/07/12
- Re: poll_for_input_1 undefined, Glenn Morris, 2014/07/12
- Re: poll_for_input_1 undefined,
Richard Stallman <=
- Re: poll_for_input_1 undefined, Paul Eggert, 2014/07/14