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 /lib/Automake | |
| 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 'lib/Automake')
| -rw-r--r-- | lib/Automake/Options.pm | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/Automake/Options.pm b/lib/Automake/Options.pm index b846fee87..6c07e5048 100644 --- a/lib/Automake/Options.pm +++ b/lib/Automake/Options.pm @@ -283,12 +283,14 @@ sub _is_valid_easy_option ($) no-define no-dependencies no-dist + no-dist-built-sources no-dist-gzip no-exeext no-installinfo no-installman no-texinfo.tex nostdinc + pure-dist readme-alpha serial-tests parallel-tests |