diff options
author | João Valverde <joao.valverde@tecnico.ulisboa.pt> | 2017-10-14 11:48:07 +0100 |
---|---|---|
committer | João Valverde <j@v6e.pt> | 2017-10-15 05:20:40 +0000 |
commit | 5842fe4afe9b5feeeef8cd78a82fa32bcefc1a39 (patch) | |
tree | 267ad0113af9262b5cbfa5a179c63f844af1624d /Makefile.am | |
parent | d4b0fb5773c874e14be91f861eae24fa60237fa6 (diff) |
autotools: dispense if-else shellcheck test
Change-Id: I1fd63442b27460ef21b2aaf4e3639a7d12c72c6e
Reviewed-on: https://code.wireshark.org/review/23908
Reviewed-by: João Valverde <j@v6e.pt>
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/Makefile.am b/Makefile.am index 372345e21d..7822edb08e 100644 --- a/Makefile.am +++ b/Makefile.am @@ -1114,21 +1114,15 @@ checkapi: checkapi_local cd writecap && $(MAKE) checkapi cd wsutil && $(MAKE) checkapi -if HAVE_SHELLCHECK # --external-sources requires 0.4.0 or later. shellcheck: cd $(top_srcdir) && \ - shellcheck --external-sources \ + $(SHELLCHECK) --external-sources \ tools/fuzz-test.sh \ tools/randpkt-test.sh \ tools/runa2x.sh \ tools/test-captures.sh \ tools/valgrind-wireshark.sh -else -shellcheck: - @echo "Shellcheck not available." ; \ - false -endif wsar_html: doxygen.cfg doxygen_global.cfg FORCE if HAVE_DOXYGEN |