Added VLC_CODEC_BD_PG codec.

[vlc] / src / misc / linux_specific.c

diff --git a/src/misc/linux_specific.c b/src/misc/linux_specific.c
index 0bc2e09884881d600464e80e77c7652aadd51146..79c880742b1dc4635f68a2899541e5b379cf5109 100644 (file)
--- a/src/misc/linux_specific.c
+++ b/src/misc/linux_specific.c
@@ -90,7 +90,9 @@ void system_Init (libvlc_int_t *libvlc, int *argc, const char *argv[])
         fputs ("LibVLC has detected an unusable buggy GNU/libc version.\n"
                "Please update to version 2.8 or newer.\n", stderr);
         fflush (stderr);
-        //abort ();
+#ifndef DISABLE_BUGGY_GLIBC_CHECK
+        abort ();
+#endif
     }
 #endif