diff options
| author | wm4 <wm4@nowhere> | 2019-06-22 00:03:31 +0200 |
|---|---|---|
| committer | wm4 <wm4@nowhere> | 2020-06-04 16:59:05 +0200 |
| commit | 07b0c18bad6cb168191d390f10db998eb7201b67 (patch) | |
| tree | 657b634fddaefa1fc4c8b552ccf3fd86a269c5aa /player/javascript.c | |
| parent | c67f36dd18f22dc027af129098a998866e4c2a33 (diff) | |
| download | mpv-07b0c18bad6cb168191d390f10db998eb7201b67.tar.bz2 mpv-07b0c18bad6cb168191d390f10db998eb7201b67.tar.xz | |
build: change filenames of generated files
Force them into a more consistent naming schema.
Diffstat (limited to 'player/javascript.c')
| -rw-r--r-- | player/javascript.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/player/javascript.c b/player/javascript.c index fedd09b3e5..6d41fd0ee3 100644 --- a/player/javascript.c +++ b/player/javascript.c @@ -51,7 +51,7 @@ // All these are generated from player/javascript/*.js static const char *const builtin_files[][3] = { {"@/defaults.js", -# include "player/javascript/defaults.js.inc" +# include "generated/player/javascript/defaults.js.inc" }, {0} }; |