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 | |
| 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.
| -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" |