diff options
author | tradke <tradke@17b73243-c579-4c4c-a9d2-2d5706c11dac> | 2004-06-20 12:18:48 +0000 |
---|---|---|
committer | tradke <tradke@17b73243-c579-4c4c-a9d2-2d5706c11dac> | 2004-06-20 12:18:48 +0000 |
commit | efd176ac165dadf87368b71af1eed76b49fe27cd (patch) | |
tree | ddb899a616b2ea6ba021cc1f466b9441362dd342 /Makefile | |
parent | 9342f67a6d08bc948566b627541b09de005efc47 (diff) |
Re-enable the force-reconfigure check.
This closes PR Cactus/1777: "force-reconfigure does not work".
git-svn-id: http://svn.cactuscode.org/flesh/trunk@3769 17b73243-c579-4c4c-a9d2-2d5706c11dac
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 12 |
1 files changed, 8 insertions, 4 deletions
@@ -16,7 +16,7 @@ # # # @enddesc -# @version $Id: Makefile,v 1.157 2004-06-11 11:05:19 tradke Exp $ +# @version $Id: Makefile,v 1.158 2004-06-20 12:18:48 tradke Exp $ # @@*/ ################################################################################## @@ -251,12 +251,16 @@ $(CONFIGURATIONS): exit 1; \ fi \ fi - if test -z "FIXME" ; then \ + if ($(PERL) -e 'exit ((stat shift)[9] > (stat shift)[9])' $(CONFIGS_DIR)/$@/config-info $(CCTK_HOME)/lib/make/force-reconfigure); then \ echo $(DIVIDER);\ echo "Cactus - version: $(CCTK_VERSION)";\ echo "Error: Configuration $@ is out of date.";\ - echo "Re-run your '$(MAKE) $@-config' command with the appropriate options.";\ - echo "(It is likely that recent changes to the flesh that require this.)";\ + echo " Please reconfigure your configuration by running the command"; \ + echo ;\ + echo " $(MAKE) $@-config"; \ + echo ;\ + echo " with the appropriate configuration options !";\ + echo " (It is likely that recent changes to the flesh require this.)";\ echo $(DIVIDER);\ exit 1;\ fi |