diff options
author | Allison Karlitskaya <allison.karlitskaya@redhat.com> | 2021-07-09 09:03:30 -0700 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2021-07-09 09:03:30 -0700 |
commit | 13659a7385b69029be865d4f1b2cdfd2bee7da47 (patch) | |
tree | af1a780e8830ba20267861dd767a510d5c45c5d7 /bin | |
parent | 6a986bc0547aa410ce9d1418dd2b6389a8b14490 (diff) | |
download | automake-13659a7385b69029be865d4f1b2cdfd2bee7da47.tar.gz |
dist: add new "dist-no-built-sources" automake option.
Fixes automake bug https://debbugs.gnu.org/49317.
* bin/automake.in: implement new option "no-dist-built-sources" to
omit the dependency of distdir on $(BUILT_SOURCES). (Allison's
original patch used the option name dist-pure; trivially renamed.)
* lib/am/distdir.am (distdir) [DIST_BUILT_SOURCES]: conditionalize
the dependency.
* lib/Automake/Options.pm (_is_valid_easy_option): list it.
* doc/automake.texi (List of Automake options): document it.
* NEWS: mention it.
* t/dist-no-built-sources.sh: test it.
* t/list-of-tests.mk (handwritten_TESTS): add it.
Diffstat (limited to 'bin')
-rw-r--r-- | bin/automake.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bin/automake.in b/bin/automake.in index 72c35793d..fde572cd1 100644 --- a/bin/automake.in +++ b/bin/automake.in @@ -3920,7 +3920,9 @@ sub handle_dist () $output_rules .= file_contents ('distdir', new Automake::Location, %transform, - FILENAME_FILTER => $filename_filter); + FILENAME_FILTER => $filename_filter, + DIST_BUILT_SOURCES + => ! option 'no-dist-built-sources'); } |