./configure

*** 23,29 ****
  #
  
  # This is a thin wrapper which will call the real configure script, and
  # make sure that is called using bash.
  
  this_script_dir=`dirname $0`
! bash $this_script_dir/common/autoconf/configure "$@"
--- 23,34 ----
  #
  
  # This is a thin wrapper which will call the real configure script, and
  # make sure that is called using bash.
  
+ # Get an absolute path to this script, since that determines the top-level directory.
  this_script_dir=`dirname $0`
! this_script_dir=`cd $this_script_dir  >/dev/null && pwd`
! 
! # Delegate to wrapper, forcing wrapper to believe $0 is this script by using -c.
! # This trick is needed to get autoconf to co-operate properly.
! bash -c ". $this_script_dir/common/autoconf/configure" $this_script_dir/configure CHECKME $this_script_dir "$@"