diff options
Diffstat (limited to 'wscript_build.py')
| -rw-r--r-- | wscript_build.py | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/wscript_build.py b/wscript_build.py index 66a96d834e..16668f8c36 100644 --- a/wscript_build.py +++ b/wscript_build.py @@ -172,16 +172,9 @@ def build(ctx): ( "mpvcore/codecs.c" ), ( "mpvcore/cpudetect.c" ), ( "mpvcore/encode_lavc.c", "encoding" ), - ( "mpvcore/m_config.c" ), - ( "mpvcore/m_option.c" ), - ( "mpvcore/m_property.c" ), ( "mpvcore/mp_common.c" ), ( "mpvcore/mp_msg.c" ), ( "mpvcore/mp_ring.c" ), - ( "mpvcore/options.c" ), - ( "mpvcore/parser-cfg.c" ), - ( "mpvcore/parser-mpcmd.c" ), - ( "mpvcore/path.c" ), ( "mpvcore/playlist.c" ), ( "mpvcore/playlist_parser.c" ), ( "mpvcore/version.c" ), @@ -206,6 +199,15 @@ def build(ctx): ( "input/joystick.c", "joystick" ), ( "input/lirc.c", "lirc" ), + ## Options + ( "options/m_config.c" ), + ( "options/m_option.c" ), + ( "options/m_property.c" ), + ( "options/options.c" ), + ( "options/parse_commandline.c" ), + ( "options/parse_configfile.c" ), + ( "options/path.c" ), + ## Player ( "player/audio.c" ), ( "player/command.c" ), |