diff options
Diffstat (limited to 'lib/make/make.configuration')
| -rw-r--r-- | lib/make/make.configuration | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/make/make.configuration b/lib/make/make.configuration index 1970aedf..375a1ee8 100644 --- a/lib/make/make.configuration +++ b/lib/make/make.configuration @@ -143,7 +143,6 @@ include $(CONFIG)/make.config.deps # Rule to build the make.thornlist file from the ThornList file $(CONFIG)/make.thornlist: $(TOP)/ThornList $(foreach lib, $(CCTK_HOME)/src $(THORNS:%=$(PACKAGE_DIR)/%), $(lib)/param.ccl $(lib)/interface.ccl $(lib)/schedule.ccl) $(CONFIG_THORNS:%=$(PACKAGE_DIR)/%/configuration.ccl) - @echo $(DIVIDER) if [ -r $@ ] ; then echo Reconfiguring thorns ; rm $@ ;\ else echo Processing CCL files ; fi $(PERL) -s $(CST) -config_dir=$(CONFIG) -cctk_home=$(CCTK_HOME) -top=$(TOP) $< |