equal
deleted
inserted
replaced
780 |
780 |
781 if [ "$with_direct_music" != "0" ]; then |
781 if [ "$with_direct_music" != "0" ]; then |
782 CFLAGS="$CFLAGS -DWIN32_ENABLE_DIRECTMUSIC_SUPPORT" |
782 CFLAGS="$CFLAGS -DWIN32_ENABLE_DIRECTMUSIC_SUPPORT" |
783 fi |
783 fi |
784 |
784 |
785 if [ "$with_libtimidity" != "0" ]; then |
785 if [ -n "$libtimidity" ]; then |
786 if [ "$enable_static" != "0" ]; then |
786 if [ "$enable_static" != "0" ]; then |
787 LIBS="$LIBS $libtimidity" |
787 LIBS="$LIBS $libtimidity" |
788 else |
788 else |
789 LIBS="$LIBS -ltimidity" |
789 LIBS="$LIBS -ltimidity" |
790 fi |
790 fi |