Add --just-configure (-c) option to BUILD scripts.

BUILD/FINISH.sh:
  Add --just-configure option
BUILD/SETUP.sh:
  Add --just-configure option
BitKeeper/etc/logging_ok:
  Logging to logging@openlogging.org accepted

BUILD/FINISH.sh

@@ -17,18 +17,23 @@ cd innobase
 aclocal; autoheader; aclocal; automake; autoconf
 cd ..
 
-CFLAGS=\"$cflags\" CXX=gcc CXXFLAGS=\"$cxxflags\" $configure
+CFLAGS=\"$cflags\" CXX=gcc CXXFLAGS=\"$cxxflags\" $configure"
+
+if [ -z "$just_configure" ]
+then
+  commands="$commands
 
 $make $AM_MAKEFLAGS"
 
-if [ "x$strip" = "xyes" ]
-then
+  if [ "x$strip" = "xyes" ]
+  then
     commands="$commands
 
 mkdir -p tmp
 nm --numeric-sort sql/mysqld  > tmp/mysqld.sym
 objdump -d sql/mysqld > tmp/mysqld.S
 strip sql/mysqld"
+  fi
 fi
 
 if test -z "$nonono"

BUILD/SETUP.sh

@@ -5,18 +5,25 @@ then
 fi
 
 nonono=
-case "$1" in
--n | --just-print ) nonono=1; shift ;;
--h | --help ) cat <<EOF; exit 0 ;;
+just_configure=
+while test $# -gt 0
+do
+  case "$1" in
+  -c | --just-configure ) just_configure=1; shift ;;
+  -n | --just-print ) nonono=1; shift ;;
+  -h | --help ) cat <<EOF; exit 0 ;;
 Usage: $0 [-h|-n] [configure-options]
   -h, --help              Show this help message.
   -n, --just-print        Don't actually run any commands; just print them.
+  -c, --just-configure    Stop after running configure.
 
 Any other options will be passed directly to configure.
 
 Note:  this script is intended for internal use by MySQL developers.
 EOF
-esac
+  * ) break ;;
+  esac
+done
 
 set -e
 

BitKeeper/etc/logging_ok

@@ -5,3 +5,4 @@ sasha@mysql.sashanet.com
 serg@serg.mysql.com
 monty@donna.mysql.fi
 tim@threads.polyesthetic.msg
+tim@work.mysql.com