diff options
| author | Tomi Ollila <tomi.ollila@iki.fi> | 2017-01-16 20:04:48 +0200 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2017-03-10 08:04:27 -0400 |
| commit | ae05839028d59cbed09122752658543f68666423 (patch) | |
| tree | c8d523ac8137431e282ac4f70b060dccdcc25698 /bindings/python/docs/source | |
| parent | ed22cd8bf14a652013dc7a17cf3a93f4e0ae911a (diff) | |
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.
Diffstat (limited to 'bindings/python/docs/source')
0 files changed, 0 insertions, 0 deletions