From f94fecb990baf9c1f6dd1eba6eb72a7bdcbe73b5 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Rafa=C3=ABl=20Carr=C3=A9?= Date: Wed, 20 Oct 2010 19:54:07 +0200 Subject: [PATCH] vlc-cachegen: remove useless options --ignore-config and --no-media-library are default --- bin/cachegen.c | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/bin/cachegen.c b/bin/cachegen.c index 5223cfb830..e73e4a5734 100644 --- a/bin/cachegen.c +++ b/bin/cachegen.c @@ -96,12 +96,10 @@ int main (int argc, char *argv[]) if (asprintf (&arg, "--plugin-path=%s", path) == -1) abort (); - const char *vlc_argv[7]; + const char *vlc_argv[5]; int vlc_argc = 0; - vlc_argv[vlc_argc++] = "--ignore-config"; vlc_argv[vlc_argc++] = "--quiet"; - vlc_argv[vlc_argc++] = "--no-media-library"; if (force) vlc_argv[vlc_argc++] = "--reset-plugins-cache"; vlc_argv[vlc_argc++] = arg; -- 2.39.2