diff options
author | Mike Gerwitz <mike.gerwitz@ryansg.com> | 2020-03-05 11:16:15 -0500 |
---|---|---|
committer | Mike Gerwitz <mike.gerwitz@ryansg.com> | 2020-03-05 11:16:15 -0500 |
commit | 8555cf1e4a3cf712658489add4d01281f8502b64 (patch) | |
tree | eb39090431fb7f39112c8afd4dd29a66f45a547f /tamer/configure.ac | |
parent | 777494a6026e6eabff9ca9f05f00aa92e2f58c3d (diff) | |
download | tame-8555cf1e4a3cf712658489add4d01281f8502b64.tar.gz tame-8555cf1e4a3cf712658489add4d01281f8502b64.tar.bz2 tame-8555cf1e4a3cf712658489add4d01281f8502b64.zip |
configure.ac: Missing cargo-doc error=>warning
Documentation does not need to be built by most users,
who are simply trying to bootstrap the system.
Diffstat (limited to 'tamer/configure.ac')
-rw-r--r-- | tamer/configure.ac | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/tamer/configure.ac b/tamer/configure.ac index 06a30fe..8229790 100644 --- a/tamer/configure.ac +++ b/tamer/configure.ac @@ -91,10 +91,11 @@ AC_MSG_CHECKING([whether cargo-doc is available for toolchain]) AS_IF([cargo $CARGO_DOC_FLAGS doc --help &>/dev/null], [AC_MSG_RESULT(yes)], [AC_MSG_RESULT(no) - cargo $CARGO_DOC_FLAGS doc --help # run again so user can see output - AC_MSG_ERROR([missing cargo-doc for toolchain])]) + # run again so user can see output + cargo $CARGO_DOC_FLAGS doc --help 2>&1 | sed 's/^.*: //' + AC_MSG_WARN([missing cargo-doc for toolchain]) + AC_MSG_WARN([`make html` will not work])]) AC_CONFIG_FILES([Makefile]) AC_OUTPUT - |