src/video/x11/edid-parse.c
changeset 6851 a58fc7ff4a0f
parent 6797 8a818a373436
child 6853 4f26c9dfe50f
--- a/src/video/x11/edid-parse.c	Mon Feb 11 18:13:52 2013 -0800
+++ b/src/video/x11/edid-parse.c	Mon Feb 11 18:18:34 2013 -0800
@@ -603,6 +603,7 @@
 	case MDDI: interface = "MDDI"; break;
 	case DISPLAY_PORT: interface = "DisplayPort"; break;
 	case UNDEFINED: interface = "undefined"; break;
+	default: interface = "unknown"; break;
 	}
 	printf ("Interface: %s\n", interface);
 	
@@ -631,6 +632,7 @@
 	case MONOCHROME: s = "monochrome"; break;
 	case RGB: s = "rgb"; break;
 	case OTHER_COLOR: s = "other color"; break;
+	default: s = "unknown"; break;
 	};
 	
 	printf ("Color: %s\n", s);
@@ -731,6 +733,7 @@
 	case TWO_WAY_LEFT_ON_EVEN:  s = "Two-way, Left on Even"; break;
 	case FOUR_WAY_INTERLEAVED:  s = "Four-way Interleaved"; break;
 	case SIDE_BY_SIDE:          s = "Side-by-Side"; break;
+	default:          s = "unknown"; break;
 	}
 	printf ("  Stereo: %s\n", s);