Make KEY case-insensitive in support_menu.

2006-03-27 12:20:34 +00:00 · 2006-03-27 12:20:34 +00:00 · 01228d2f2f
parent 4e2878a16d
commit 01228d2f2f
1 changed files with 1 additions and 0 deletions
--- a/Installation/install_cgal
+++ b/Installation/install_cgal
@ -4685,6 +4685,7 @@ support_menu()
 	print_line     "${_bold_on}<T>${_bold_off}  Test (and save) setup"
 	menu_tailer 'Main Menu'

+	KEY=`echo "${KEY}" | ${_tr} [:lower:] [:upper:]`
 	case $KEY in
 	    t|T) go_down_lines 3
 		flush_buffer