diff options
| author |  wm4 <wm4@nowhere> | 2015-05-02 19:03:28 +0200 |
|---|---|---|
| committer | wm4 <wm4@nowhere> | 2015-05-02 19:03:28 +0200 |
| commit | 1982fedca61b9b7c4bec2e6f2d31ee566fb51923 (patch) | |
| tree | 0d8df152ef39930d4904f8707b1b124f43765581 /options | |
| parent | 3508a3fbd12b93e0414acb7996417dd91f369170 (diff) | |
options: remove --leak-report
Use the environment variable instead.
Diffstat (limited to 'options')
| -rw-r--r-- | options/options.c | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/options/options.c b/options/options.c index 23bfef5612..c5fa2b427b 100644 --- a/options/options.c +++ b/options/options.c @@ -95,10 +95,6 @@ const m_option_t mp_opts[] = { { "show-profile", CONF_TYPE_STRING, CONF_NOCFG | M_OPT_FIXED, .offset = -1}, { "list-options", CONF_TYPE_STORE, CONF_NOCFG | M_OPT_FIXED, .offset = -1}, - // handled in main.c (looks at the raw argv[]) - { "leak-report", CONF_TYPE_STORE, CONF_GLOBAL | CONF_NOCFG | M_OPT_FIXED, - .offset = -1 }, - OPT_FLAG("shuffle", shuffle, 0), // ------------------------- common options -------------------- |