| author | Heinz Junkes <junkes@fhi-berlin.mpg.de> |
| Wed, 15 Jul 2020 08:12:22 +0200 | |
| changeset 2 | 320de4b4c9ee |
| 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