| author | Heinz Junkes <junkes@fhi-berlin.mpg.de> |
| Fri, 10 Jul 2020 06:11:39 +0200 | |
| changeset 1 | f6e1a4c75073 |
| parent 0 | 77d8eafe2a07 |
| 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