]> git.notmuchmail.org Git - notmuch/commit
support make goals after initial {'', dist, data}clean goal(s)
authorTomi Ollila <tomi.ollila@iki.fi>
Mon, 16 Jan 2017 18:04:48 +0000 (20:04 +0200)
committerDavid Bremner <david@tethera.net>
Fri, 10 Mar 2017 12:04:27 +0000 (08:04 -0400)
commitae05839028d59cbed09122752658543f68666423
treec8d523ac8137431e282ac4f70b060dccdcc25698
parented22cd8bf14a652013dc7a17cf3a93f4e0ae911a
support make goals after initial {'', dist, data}clean goal(s)

Now make goal combinations starting with *clean goals,
ending with *clean coals, and having non-*clean goals in between
should work. What does not expected to work are
non-*clean - *clean - *non-clean goal combinations.

Also, if first goals are *clean goals, re-creation of Makefile.config
is inhibited when Makefile.config exists and ./configure is newer.
Makefile