diff options
author | Daniel Borkmann <dborkman@redhat.com> | 2013-07-08 18:59:14 +0200 |
---|---|---|
committer | Daniel Borkmann <dborkman@redhat.com> | 2013-07-08 18:59:14 +0200 |
commit | 26e0298eb2fc7f946a36d682de0f74aac2cafe83 (patch) | |
tree | 95e61906573adcd4479c5fa077ec78816c66e398 /configure | |
parent | 36476eaf763d29e8885f519ab1e0b8beda28074a (diff) |
configure: when we have all deps rather tell "all tools will be built"
In case we have all dependencies, tell the user that all tools will be
built instead of listing the tools. Only list them when we do not have
all deps. This should facilitate usability a bit.
Signed-off-by: Daniel Borkmann <dborkman@redhat.com>
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 9 |
1 files changed, 7 insertions, 2 deletions
@@ -158,6 +158,8 @@ void main(void) int foo[] = { TP_STATUS_BLK_TMO, }; + + printf("%d\n", hdr->tp_status); } EOF @@ -189,6 +191,8 @@ void main(void) TP_STATUS_KERNEL, TP_STATUS_USER, }; + + printf("%d\n", hdr->tp_status); } EOF @@ -455,10 +459,11 @@ fi if [ "x$TOOLS_NOBUILD" != "x" ] ; then echo "[!] The following tools will *not* be built: $TOOLS_NOBUILD" + echo "[*] The following tools will be built: $TOOLS" +else + echo "[*] Looks good! All tools will be built!" fi -echo "[*] The following tools will be built: $TOOLS" - echo "CONFIG_TOOLS=$TOOLS" >> Config echo "CONFIG_OK=1" >> Config |