Tomi Ollila <tomi.oll...@iki.fi> writes: I like the idea here; it's an annoying wait. Could we do something similar for make clean?
> ... and not recreate it (slowly) if 'configure' changed, just to > be deleteted later during 'make distclean'. spellink > +# In case of 'make distclean' have configure as order-only prerequisite so > +# that Makefile.config is not recreated when configure is newer than it is. > +ifeq ($(MAKECMDGOALS),distclean) Two comments - do we want to check for exactly distclean, or distclean one of the goals? - it turns out that specifying e.g. "make distclean all" is currently broken (before your patch) _______________________________________________ notmuch mailing list notmuch@notmuchmail.org https://notmuchmail.org/mailman/listinfo/notmuch
