configure.in
changeset 161 2a4946fc5a62
parent 160 c62666b42573
child 165 b3ecd65d86c6
     1.1 --- a/configure.in	Wed Feb 13 19:07:39 2002 +0000
     1.2 +++ b/configure.in	Wed Feb 13 23:43:45 2002 +0000
     1.3 @@ -135,14 +135,6 @@
     1.4                  use_music_native_midi=yes
     1.5                  LIBS="$LIBS -framework QuickTime"
     1.6                  ;;
     1.7 -            *-*-linux* | *-*-freebsd*)
     1.8 -                if test x$enable_music_native_midi_gpl != xyes; then
     1.9 -                    AC_ERROR([the native midi code is GPL code, use --enable-music-native-midi-gpl])
    1.10 -                fi
    1.11 -                ;;
    1.12 -            *)
    1.13 -                AC_ERROR([native MIDI not supported on this platform])
    1.14 -                ;;
    1.15          esac
    1.16          if test x$use_music_native_midi = xyes; then
    1.17              CFLAGS="$CFLAGS -DUSE_NATIVE_MIDI -I\$(top_srcdir)/native_midi"
    1.18 @@ -158,9 +150,6 @@
    1.19              *-*-linux* | *-*-freebsd*)
    1.20                  use_music_native_midi_gpl=yes
    1.21                  ;;
    1.22 -            *)
    1.23 -                AC_ERROR([native MIDI not supported on this platform])
    1.24 -                ;;
    1.25          esac
    1.26          if test x$use_music_native_midi_gpl = xyes; then
    1.27              CFLAGS="$CFLAGS -DUSE_NATIVE_MIDI -I\$(top_srcdir)/native_midi"