shell() {
  if [ ! -e $BROOT_BUILDROOT_PATH/bootstraped ]; then
    echo "  Can't find buildroot."
    exit 13
  fi
  echo "  Switching to chroot"
  chroot-exec /bin/bash 
}