Sanjeev Gupta <gha...@gmail.com>:
> Luckily, just before I did a victory dance, I checked out HEAD again; and
> did a waf configure; waf install . And I can no longer see the problem;
> all is well.
>
> > (And you *always* suspect tricky environmental factors when DNS lookups
> > are involved. That is, if you weren't born yesterday.)
>
> I assure you (for whatever little it is worth), that *nothing* changed.
> Well, I am not sure I did a waf configure before the install earlier this
> evening, if I can blame that.
>
> Apologies for the noise, and thanks for the chance to learn something new.
Probably just a transient DNS glitch. It happens.
--
<a href="http://www.catb.org/~esr/";>Eric S. Raymond</a>
_______________________________________________
devel mailing list
devel@ntpsec.org
http://lists.ntpsec.org/mailman/listinfo/devel
