| author | Heinz Junkes <junkes@fhi-berlin.mpg.de> |
| Mon, 09 Jul 2018 13:36:24 +0200 | |
| changeset 4 | f7598b2df637 |
| parent 0 | bd6bb22c6533 |
| 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