diff options
| author |  wm4 <wm4@nowhere> | 2014-05-13 01:14:07 +0200 |
|---|---|---|
| committer | wm4 <wm4@nowhere> | 2014-05-13 02:39:37 +0200 |
| commit | 2279f718de746d5fed3b64df74e9c47af98975b5 (patch) | |
| tree | 57aa74740fcd067a5e87cb9810b2888b0548aeee /wscript_build.py | |
| parent | 2a2dd8aac2d68db1471bbb4fd852f85f3fcf9c24 (diff) | |
player: reorganize how lua scripts are loaded
Make loading of scripts independent of Lua. Move some of the loading
code from lua.c to scripting.c, and make it easier to add new scripting
backends.
Diffstat (limited to 'wscript_build.py')
| -rw-r--r-- | wscript_build.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/wscript_build.py b/wscript_build.py index c8058b6fe6..fe711b554f 100644 --- a/wscript_build.py +++ b/wscript_build.py @@ -216,6 +216,7 @@ def build(ctx): ( "player/osd.c" ), ( "player/playloop.c" ), ( "player/screenshot.c" ), + ( "player/scripting.c" ), ( "player/sub.c" ), ( "player/timeline/tl_cue.c" ), ( "player/timeline/tl_mpv_edl.c" ), |