diff options
author | Uoti Urpala <uau@glyph.nonexistent.invalid> | 2009-01-18 17:17:57 +0200 |
---|---|---|
committer | Uoti Urpala <uau@glyph.nonexistent.invalid> | 2009-01-18 17:17:57 +0200 |
commit | 3ba97da297e1e1a5ca9dabdda60cc6a62f77affc (patch) | |
tree | eaa613e0c6edc4b8b28853c4999cdae49221235d /configure | |
parent | 2b45912684f9e383e5cebb56c1b4e712f90b67cc (diff) | |
download | mpv-3ba97da297e1e1a5ca9dabdda60cc6a62f77affc.tar.bz2 mpv-3ba97da297e1e1a5ca9dabdda60cc6a62f77affc.tar.xz |
configure: Make --enable-gui print an error
Since compilation with GUI enabled will not succeed, make the
configure option return an error immediately instead of triggering an
obscure compiler error later.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -1286,6 +1286,11 @@ for ac_option do esac done +if test "$_gui" = yes ; then + echo "Error: --enable-gui is no longer supported. Use an external frontend if you want a GUI." >&2 + exit 1 +fi + # Atmos: moved this here, to be correct, if --prefix is specified test -z "$_bindir" && _bindir="$_prefix/bin" test -z "$_datadir" && _datadir="$_prefix/share/mplayer" |