Shared object friendliness

diff --git a/src/control/video.c b/src/control/video.c
index fd5ce50909b0960f78640a031898bb94f5092185..51231a7e9f5ac795ad6609341fd8acb45d3d884b 100644 (file)
--- a/src/control/video.c
+++ b/src/control/video.c
@@ -637,7 +637,7 @@ void libvlc_video_set_deinterlace( libvlc_media_player_t *p_mi, int b_enable,
 
 static const char *get_marquee_int_option_identifier(unsigned option)
 {
-    static const char * marquee_table[] =
+    static const char tab[][16] =
     {
         "marq",
         "marq-color",
@@ -647,24 +647,22 @@ static const char *get_marquee_int_option_identifier(unsigned option)
         "marq-size",
         "marq-timeout",
         "marq-x",
-        "marq-y"
+        "marq-y",
     };
-    static const unsigned marquee_table_size = sizeof(marquee_table)/sizeof(*marquee_table);
-    if( option >= marquee_table_size )
+    if( option >= sizeof( tab ) / sizeof( tab[0] ) )
         return NULL;
-    return marquee_table[option];
+    return tab[option];
 }
 
 static const char *get_marquee_string_option_identifier(unsigned option)
 {
-    static const char * marquee_table[] =
+    static const char tab[][16] =
     {
-        "marq-marquee"
+        "marq-marquee",
     };
-    static const unsigned marquee_table_size = sizeof(marquee_table)/sizeof(*marquee_table);
-    if( option >= marquee_table_size )
+    if( option >= sizeof( tab ) / sizeof( tab[0] ) )
         return NULL;
-    return marquee_table[option];
+    return tab[option];
 }