diff options
author | 2016-06-29 20:24:44 +1000 | |
---|---|---|
committer | 2016-06-29 20:24:44 +1000 | |
commit | d464963202d6fac34b687f232a42a1d3353630c2 (patch) | |
tree | e4281c2e2b2832b005ca866db5f901f28e507139 /docs/release/scripts/extlib.lua | |
parent | afef8430619718d39dd7906a9342fe3bd06b6225 (diff) |
0.175 Release fileshbmame175
Diffstat (limited to 'docs/release/scripts/extlib.lua')
-rw-r--r-- | docs/release/scripts/extlib.lua | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/docs/release/scripts/extlib.lua b/docs/release/scripts/extlib.lua index 9d60fe1dc2e..e4e3b7cce46 100644 --- a/docs/release/scripts/extlib.lua +++ b/docs/release/scripts/extlib.lua @@ -10,7 +10,6 @@ local extlibs = { zlib = { "z", "3rdparty/zlib" }, jpeg = { "jpeg", "3rdparty/libjpeg" }, flac = { "FLAC", "3rdparty/libflac/include" }, - sqlite3 = { "sqlite3", "3rdparty/sqlite3" }, portmidi = { "portmidi", "3rdparty/portmidi/pm_common" }, portaudio = { "portaudio", "3rdparty/portaudio/include" }, lua = { "lua", "3rdparty/lua/src" }, @@ -39,11 +38,6 @@ newoption { } newoption { - trigger = 'with-system-sqlite3', - description = 'Use system SQLite library', -} - -newoption { trigger = 'with-system-portmidi', description = 'Use system PortMidi library', } |