diff options
-rw-r--r-- | mplayer.c | 3 | ||||
-rw-r--r-- | path.c | 16 |
2 files changed, 0 insertions, 19 deletions
@@ -3861,9 +3861,6 @@ int i; set_priority(); #endif - if (codec_path) - set_codec_path(codec_path); - if(opts->video_driver_list && strcmp(opts->video_driver_list[0],"help")==0){ list_video_out(); opt_exit = 1; @@ -181,22 +181,6 @@ void set_path_env(void) char *codec_path = BINARY_CODECS_PATH; -static int needs_free = 0; - -void set_codec_path(const char *path) -{ - if (needs_free) - free(codec_path); - if (path == 0) { - codec_path = BINARY_CODECS_PATH; - needs_free = 0; - return; - } - codec_path = malloc(strlen(path) + 1); - strcpy(codec_path, path); - needs_free = 1; -} - char *mp_basename(const char *path) { char *s; |