From 2b0c620b22a85d73f2b39049ed92d9300ff194d9 Mon Sep 17 00:00:00 2001
From: wm4 <wm4@nowhere>
Date: Thu, 15 Sep 2016 13:45:23 +0200
Subject: 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.)
---
 wscript_build.py | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'wscript_build.py')

diff --git a/wscript_build.py b/wscript_build.py
index c9960252fa..46f9882447 100644
--- a/wscript_build.py
+++ b/wscript_build.py
@@ -63,6 +63,10 @@ def build(ctx):
         source = "etc/input.conf",
         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")
-- 
cgit v1.2.3