bk commit into 5.0 tree (jperkin:1.2591) BUG#30954

[Jonathan Perkin]

Below is the list of changes that have just been committed into a local
5.0 repository of jperkin.  When jperkin does a push these changes
will be propagated to the main repository and, within 24 hours after the
push, to the public repository.
For information on how to access the public repository
see http://dev.mysql.com/doc/mysql/en/installing-source-tree.html

ChangeSet@stripped, 2008-01-10 13:34:41+00:00, jperkin@stripped +1 -0
  bug#30954: small shell nit

  support-files/binary-configure.sh@stripped, 2008-01-10 13:32:36+00:00,
jperkin@stripped +1 -0
    Add closing ;;

diff -Nrup a/support-files/binary-configure.sh b/support-files/binary-configure.sh
--- a/support-files/binary-configure.sh	2008-01-10 13:21:23 +00:00
+++ b/support-files/binary-configure.sh	2008-01-10 13:32:36 +00:00
@@ -19,6 +19,7 @@ for arg do
       echo "${SCRIPT_NAME}: unknown option $arg"
       usage
       exit 2
+      ;;
   esac
 done