diff options
author | 2015-05-15 10:56:08 -0400 | |
---|---|---|
committer | 2015-05-15 10:56:08 -0400 | |
commit | 2d12aacd4925592d774f4dd766b51d4d48980c0e (patch) | |
tree | 97ffbbba595aebfe19fec4b2cd478f6ef10d4979 /scripts/src/main.lua | |
parent | 0bbe38dc36e8e207617b4e9721e436552a54ba09 (diff) |
Fix NO_USE_MIDI
Diffstat (limited to 'scripts/src/main.lua')
-rw-r--r-- | scripts/src/main.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/src/main.lua b/scripts/src/main.lua index 3cf80d968d0..870c9dfed88 100644 --- a/scripts/src/main.lua +++ b/scripts/src/main.lua @@ -104,7 +104,7 @@ function mainProject(_target, _subtarget) "jsoncpp", "mongoose", } - if _OPTIONS["NO_USE_MIDI"]=="0" then + if _OPTIONS["NO_USE_MIDI"]~="1" then links { "portmidi", } |