This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

Author mwh
Date 2001-12-07.13:53:14
SpamBayes Score
Marked as misclassified
Logged In: YES 

Eh, I was going to add a os.system("touch last_build")
thingy to  Not aiming for elegance here.

Is it really 99% of the time that changes in headers are
irrelevant?  Then what make does is a bit silly, surely.

It would presumably be easy enough to ask the user, but I
know I'd find that really annoying (I generally fire a biuld
off, do something else for a few minutes and come back. 
OTOH, I almost always go through a "rm -rfv build && mkdir
build && cd build && ../configure --prefix=$HOME && make"
ritual anyway so this issue doesn't affect me in the slightest).
Date User Action Args
2007-08-23 13:56:53adminlinkissue472881 messages
2007-08-23 13:56:53admincreate