author | Heinz Junkes <junkes@fhi-berlin.mpg.de> |
Tue, 02 Nov 2021 13:19:46 +0100 | |
changeset 5 | 85c191e174df |
parent 0 | 50cbed80af1a |
permissions | -rw-r--r-- |
TOP = .. include $(TOP)/configure/CONFIG DIRS := $(DIRS) $(filter-out $(DIRS), $(wildcard *src*)) DIRS := $(DIRS) $(filter-out $(DIRS), $(wildcard *Src*)) DIRS := $(DIRS) $(filter-out $(DIRS), $(wildcard *db*)) DIRS := $(DIRS) $(filter-out $(DIRS), $(wildcard *Db*)) include $(TOP)/configure/RULES_DIRS