From 75a5dbfc83bef10bb6986e32f04c8266884e3d0e Mon Sep 17 00:00:00 2001 From: Simon Rose <simon.rose@ess.eu> Date: Tue, 26 Oct 2021 12:28:54 +0200 Subject: [PATCH] Removed 'make db' from require --- configure/RULES | 1 - configure/module/RULES_DB | 11 ----------- 2 files changed, 12 deletions(-) delete mode 100644 configure/module/RULES_DB diff --git a/configure/RULES b/configure/RULES index f89e4820..01475baa 100644 --- a/configure/RULES +++ b/configure/RULES @@ -12,7 +12,6 @@ include $(REQUIRE_CONFIG)/RULES_EPICS include $(TOP)/configure/module/RULES_REQUIRE include $(REQUIRE_CONFIG)/RULES_PATCH -include $(TOP)/configure/module/RULES_DB include $(REQUIRE_CONFIG)/RULES_VARS include $(TOP)/configure/module/RULES_TEST diff --git a/configure/module/RULES_DB b/configure/module/RULES_DB deleted file mode 100644 index e2f8c953..00000000 --- a/configure/module/RULES_DB +++ /dev/null @@ -1,11 +0,0 @@ -# -*- mode: Makefile;-*- -## This RULE should be used in case of inflating DB files -## - -# TODO: This belong in configure/module, same as for other modules - -.PHONY: db - - -db: conf - $(QUIET) $(E3_MODULE_MAKE_CMDS) db -- GitLab