Merge mysql.com:/home/mydev/mysql-5.0

into mysql.com:/home/mydev/mysql-5.0-5000


BUILD/SETUP.sh:
  Auto merged
configure.in:
  Auto merged
innobase/fil/fil0fil.c:
  Auto merged
innobase/include/univ.i:
  Auto merged