diff options
| author | wm4 <wm4@nowhere> | 2016-09-15 13:45:23 +0200 |
|---|---|---|
| committer | wm4 <wm4@nowhere> | 2016-09-15 14:50:38 +0200 |
| commit | 2b0c620b22a85d73f2b39049ed92d9300ff194d9 (patch) | |
| tree | 11ce4ef28374daf6d3b5473583ac91f82597c7a2 /wscript_build.py | |
| parent | 98f1b5fb9859a7f19d71137a3feae5f0c6031e78 (diff) | |
| download | mpv-2b0c620b22a85d73f2b39049ed92d9300ff194d9.tar.bz2 mpv-2b0c620b22a85d73f2b39049ed92d9300ff194d9.tar.xz | |
player: move builtin profiles to a separate file
Move the embedded string with the builtin profiles to a separate
builtin.conf file. This makes it easier to read and edit, and you can
also check it for errors with --include=etc/builtin.conf. (Normally
errors are hidden intentionally, because there's no way to output error
messages this early, and because some options might not be present on
all platforms or with all configurations.)
Diffstat (limited to 'wscript_build.py')
| -rw-r--r-- | wscript_build.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/wscript_build.py b/wscript_build.py index c9960252fa..46f9882447 100644 --- a/wscript_build.py +++ b/wscript_build.py @@ -64,6 +64,10 @@ def build(ctx): target = "input/input_conf.h") ctx.file2string( + source = "etc/builtin.conf", + target = "player/builtin_conf.inc") + + ctx.file2string( source = "sub/osd_font.otf", target = "sub/osd_font.h") |