diff options
-rw-r--r-- | src/make.configuration.defn | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/make.configuration.defn b/src/make.configuration.defn index a954d1e..7e21c8c 100644 --- a/src/make.configuration.defn +++ b/src/make.configuration.defn @@ -7,9 +7,5 @@ have_petsc := $(shell grep -s '\#define CCTK_PETSC 1' $(CONFIG)/cctk_Extradefs.h ifeq ($(strip $(have_petsc)), ) $(NAME): MissingPETSC -.pseudo: MissingPETSC -MissingPETSC: - @echo "This configuration wasn't configured to use PETSC" - @echo "Please reconfigure with 'PETSC=yes' or remove EllPETSc from your ThornList !" - exit 2 + $(error"This configuration wasn't configured to use PETSc. Please reconfigure with 'PETSC=yes' or remove EllPETSc from your ThornList.") endif |