diff options
author | Stefano Pigozzi <stefano.pigozzi@gmail.com> | 2017-12-29 16:21:12 +0100 |
---|---|---|
committer | Stefano Pigozzi <stefano.pigozzi@gmail.com> | 2017-12-29 16:21:12 +0100 |
commit | 01502578393f1c08d27d15d279c13e05888ac72b (patch) | |
tree | 4225dbc454b89971fb801fcce3557e1758e17dae /wscript_build.py | |
parent | 5a5cc02793ad28ecdc50d3df66b7913a0b467ac6 (diff) | |
download | mpv-01502578393f1c08d27d15d279c13e05888ac72b.tar.bz2 mpv-01502578393f1c08d27d15d279c13e05888ac72b.tar.xz |
mruby: return api mpv queries as either monads
Diffstat (limited to 'wscript_build.py')
-rw-r--r-- | wscript_build.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/wscript_build.py b/wscript_build.py index 332bc9e596..8dc72aee96 100644 --- a/wscript_build.py +++ b/wscript_build.py @@ -109,7 +109,7 @@ def build(ctx): target = os.path.splitext(fn)[0] + ".inc", ) - mruby_files = ['events.mrb', 'logging.mrb', 'reply.mrb'] + mruby_files = ['events.mrb', 'logging.mrb', 'either.mrb'] for fn in mruby_files: fn = "player/mruby/" + fn ctx( |