[Top][All Lists]

[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

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
www.fsf.org  www.gnu.org
Skype: No way! That's nonfree (freedom-denying) software.
  Use Ekiga or an ordinary phone call.

reply via email to

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