diff options
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index a0f513c75e..e5c1be31b5 100644 --- a/Makefile.am +++ b/Makefile.am @@ -452,6 +452,15 @@ show-distdir-testlog: else \ cat $(distdir)/_build/$(TEST_SUITE_LOG); fi +# Similarly, this relies on automake internals to run file on an +# intermittent core file whose provenance is not known to us. See +# ticket 26787. +show-distdir-core: + @if test -d "$(distdir)/_build/sub"; then \ + file $(distdir)/_build/sub/core ; \ + else \ + file $(distdir)/_build/core; fi + show-libs: @echo $(TOR_INTERNAL_LIBS) |