summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorDaniel Borkmann <dborkman@redhat.com>2013-07-08 18:59:14 +0200
committerDaniel Borkmann <dborkman@redhat.com>2013-07-08 18:59:14 +0200
commit26e0298eb2fc7f946a36d682de0f74aac2cafe83 (patch)
tree95e61906573adcd4479c5fa077ec78816c66e398 /configure
parent36476eaf763d29e8885f519ab1e0b8beda28074a (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-xconfigure9
1 files changed, 7 insertions, 2 deletions
diff --git a/configure b/configure
index 04c9c4e..6a5a83e 100755
--- a/configure
+++ b/configure
@@ -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