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 /ifpps/.gitignore | |
| 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 'ifpps/.gitignore')
0 files changed, 0 insertions, 0 deletions