diff options
| author | glx <glx@openttd.org> | 2008-11-29 22:40:54 +0000 |
|---|---|---|
| committer | glx <glx@openttd.org> | 2008-11-29 22:40:54 +0000 |
| commit | 25ec47e2aca917b7c979be8ee73143cb2af2e9d7 (patch) | |
| tree | 0a19f3098910c989485ae0355253cc4c09dae552 /config.lib | |
| parent | a0327b375fe024f0c064c6ca7cdeeb1251daf5c0 (diff) | |
| download | openttd-25ec47e2aca917b7c979be8ee73143cb2af2e9d7.tar.xz | |
(svn r14644) -Fix: --with-direct-music handling could fail
Diffstat (limited to 'config.lib')
| -rw-r--r-- | config.lib | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/config.lib b/config.lib index 01b41b484..23612363c 100644 --- a/config.lib +++ b/config.lib @@ -637,9 +637,9 @@ check_params() { detect_pspconfig detect_libtimidity - if [ "$with_direct_music" = "1" ] || [ "$with_direct_music" = "2" ]; then + if [ "$with_direct_music" != "0" ]; then if [ "$os" != "MINGW" ] && [ "$os" != "CYGWIN" ]; then - if [ "$with_direct_music" = "2" ]; then + if [ "$with_direct_music" != "1" ]; then log 1 "configure: error: direct-music is only supported on Win32 targets" exit 1 fi @@ -1613,7 +1613,7 @@ check_direct_music() { rm -f direct_music.test.c direct_music.test if [ "$res" != "0" ]; then - if [ "$with_direct_music" = "2" ]; then + if [ "$with_direct_music" != "1" ]; then log 1 "configure: error: direct-music is not available on this system" exit 1 fi |