diff options
| author | wm4 <wm4@nowhere> | 2014-06-22 02:50:52 +0200 |
|---|---|---|
| committer | wm4 <wm4@nowhere> | 2014-06-22 05:04:05 +0200 |
| commit | 5b8298376b3ea548b21b652c495b5fcf3d4b5e78 (patch) | |
| tree | a02fd4a94abc0c75b953fb8d2cad55894c3de305 /wscript_build.py | |
| parent | ea1650fcc338a11adfbbbf950719c65f33acc574 (diff) | |
| download | mpv-5b8298376b3ea548b21b652c495b5fcf3d4b5e78.tar.bz2 mpv-5b8298376b3ea548b21b652c495b5fcf3d4b5e78.tar.xz | |
stream: add a file cache
For remarks, pretty much see the manpage additions. Could help with
network streams that require too much seeking (maybe), or might be
extended to help with the use case of watching and downloading a file
at the same time.
In general, it might be a useless feature and could be removed again.
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 4f7efdfbb9..ef480ab953 100644 --- a/wscript_build.py +++ b/wscript_build.py @@ -233,6 +233,7 @@ def build(ctx): ( "stream/ai_sndio.c", "sndio" ), ( "stream/audio_in.c", "audio-input" ), ( "stream/cache.c" ), + ( "stream/cache_file.c" ), ( "stream/cookies.c" ), ( "stream/dvb_tune.c", "dvbin" ), ( "stream/frequencies.c", "tv" ), |