#!/bin/sh
CONFIG_ARCH=`${CONFIG_SHELL-/bin/sh} $PETSC_DIR/config/configarch`;
if test `echo ${PETSC_ARCH} | sed -e "s/^\(${CONFIG_ARCH}\).*/\1/"` = "${CONFIG_ARCH}"; then
    :
else
    echo "Cannot bootstrap: $PETSC_ARCH"
    exit 1
fi

# Create empty make includes
mkdir -p bmake/${PETSC_ARCH}
touch bmake/${PETSC_ARCH}/packages
touch bmake/${PETSC_ARCH}/rules
touch bmake/${PETSC_ARCH}/variables
