#2045: remove piraha cache files in make clean ---------------------+------------------------------------------------------ Reporter: rhaas | Owner: sbrandt Type: defect | Status: assigned Priority: major | Milestone: ET_2017_05 Component: Cactus | Version: development version Resolution: | Keywords: ---------------------+------------------------------------------------------
Comment (by sbrandt):
Actually, I think this suffices: {{{ diff --git a/Makefile b/Makefile index b4ed2e9..31ac107 100644 --- a/Makefile +++ b/Makefile @@ -505,6 +505,7 @@ ifneq ($strip($(CONFIGURATIONS)),) $(addsuffix -clean,$(CONFIGURATIONS)): $(NOTIFY_DIVIDER) @echo Cleaning configuration $(@:%-clean=%) + @rm -f $(CONFIGS_DIR)/$(@:%-clean=%)/piraha cd $(CONFIGS_DIR)/$(@:%-clean=%) $(MAKE) -f $(CCTK_HOME)/lib/make/make.configuration TOP=$(CONFIGS_DIR)/$(@:%-clean=%) CCTK_HOME=$(CCTK_HOME) clean $(NOTIFY_DIVIDER) }}}