equal
deleted
inserted
replaced
635 detect_fontconfig |
635 detect_fontconfig |
636 detect_icu |
636 detect_icu |
637 detect_pspconfig |
637 detect_pspconfig |
638 detect_libtimidity |
638 detect_libtimidity |
639 |
639 |
640 if [ "$with_direct_music" = "1" ] || [ "$with_direct_music" = "2" ]; then |
640 if [ "$with_direct_music" != "0" ]; then |
641 if [ "$os" != "MINGW" ] && [ "$os" != "CYGWIN" ]; then |
641 if [ "$os" != "MINGW" ] && [ "$os" != "CYGWIN" ]; then |
642 if [ "$with_direct_music" = "2" ]; then |
642 if [ "$with_direct_music" != "1" ]; then |
643 log 1 "configure: error: direct-music is only supported on Win32 targets" |
643 log 1 "configure: error: direct-music is only supported on Win32 targets" |
644 exit 1 |
644 exit 1 |
645 fi |
645 fi |
646 with_direct_music="0" |
646 with_direct_music="0" |
647 |
647 |
1611 $cxx_host $CFLAGS direct_music.test.c -o direct_music.test 2> /dev/null |
1611 $cxx_host $CFLAGS direct_music.test.c -o direct_music.test 2> /dev/null |
1612 res=$? |
1612 res=$? |
1613 rm -f direct_music.test.c direct_music.test |
1613 rm -f direct_music.test.c direct_music.test |
1614 |
1614 |
1615 if [ "$res" != "0" ]; then |
1615 if [ "$res" != "0" ]; then |
1616 if [ "$with_direct_music" = "2" ]; then |
1616 if [ "$with_direct_music" != "1" ]; then |
1617 log 1 "configure: error: direct-music is not available on this system" |
1617 log 1 "configure: error: direct-music is not available on this system" |
1618 exit 1 |
1618 exit 1 |
1619 fi |
1619 fi |
1620 with_direct_music="0" |
1620 with_direct_music="0" |
1621 |
1621 |