Andre Poenitz wrote:
On Thu, Sep 20, 2007 at 12:46:03AM -0400, Richard Heck wrote:
When compiling with --disable-shared, it seems the shared libraries are being built and installed anyway, which wastes rather a lot of time. Could this be disabled?
It shouldn't, and it didn't last time I tried. Is this a fairly clean
tree?
Reasonably, I think, though maybe there's some old stuff lying around. But the only files that show up as modified are ones I've done recently. Should I run make dist-clean or something of that sort?

rh

--
==================================================================
Richard G Heck, Jr
Professor of Philosophy
Brown University
http://frege.brown.edu/heck/
==================================================================
Get my public key from http://sks.keyserver.penguin.de
Hash: 0x1DE91F1E66FFBDEC
Learn how to sign your email using Thunderbird and GnuPG at:
http://dudu.dyn.2-h.org/nist/gpg-enigmail-howto

Reply via email to