diff options
author | diego <diego@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2008-07-17 12:24:47 +0000 |
---|---|---|
committer | diego <diego@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2008-07-17 12:24:47 +0000 |
commit | 67dec9f5a82ac4a2e3d6adf92c9450c58688179a (patch) | |
tree | ef13b9033268a704b0a4e5add3e4da5b513370cc | |
parent | 535174672b28ee5a23dbeb530ea909ee346bdb11 (diff) |
Simplify summary output, add an extra empty line to it.
git-svn-id: svn://svn.mplayerhq.hu/mplayer/trunk@27310 b3059339-0415-0410-9bf9-f77b7e298cf2
-rwxr-xr-x | configure | 8 |
1 files changed, 2 insertions, 6 deletions
@@ -8605,18 +8605,14 @@ Config files successfully generated by ./configure $_configuration ! Languages: Messages/GUI: $_language -EOF - -echo ${_echo_n} " Manual pages: $MAN_LANG_ALL ${_echo_c}" -echo - -cat << EOF + Manual pages: $MAN_LANG_ALL Enabled optional drivers: Input: $_inputmodules Codecs: $_codecmodules Audio output: $_aomodules Video output: $_vomodules + Disabled optional drivers: Input: $_noinputmodules Codecs: $_nocodecmodules |