diff options
author | mgehre <M.Gehre@gmx.de> | 2014-12-31 00:19:47 +0100 |
---|---|---|
committer | mgehre <M.Gehre@gmx.de> | 2014-12-31 00:19:47 +0100 |
commit | 95a5d13240b993312f3890b3d4f8f35d7f5aa0d8 (patch) | |
tree | 7b5473efd9f37586c57d9691041ca47cf9039b82 | |
parent | a684387aa15c5980667adcb510796c982babbb75 (diff) |
configure.in: Fix final_message without PulseAudio
Currently, when pulseaudio is not installed,
./configure shows:
```
checking for PULSE... no
== PulseAudio support disabled. ==
```
but at the end
```
------------------------
Kodi Configuration:
------------------------
...
PulseAudio: Yes
```
-rw-r--r-- | configure.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configure.in b/configure.in index 32244d15a6..dd7338efdc 100644 --- a/configure.in +++ b/configure.in @@ -1285,6 +1285,7 @@ if test "x$use_pulse" != "xno"; then if test "x$use_pulse" = "xyes"; then AC_MSG_ERROR($pulse_not_found) else + use_pulse="no" AC_MSG_RESULT($pulse_disabled) fi fi |