diff options
Diffstat (limited to 'Config/config.mk')
-rw-r--r-- | Config/config.mk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Config/config.mk b/Config/config.mk index 8e5c59c88..476ced11d 100644 --- a/Config/config.mk +++ b/Config/config.mk @@ -35,8 +35,8 @@ $(dir_top)/Config/defs.mk $(dir_top)/Config/version.mk Makefile: Makefile.in $(dir_top)/config.status $(CONFIG_INCS) cd $(dir_top) && \ - CONFIG_FILES=$(subdir)/$@ CONFIG_HEADERS= ./config.status + CONFIG_FILES=$(subdir)/$@ CONFIG_HEADERS= $(SHELL) ./config.status $(dir_top)/Config/defs.mk: $(sdir_top)/Config/defs.mk.in $(dir_top)/config.status cd $(dir_top) && \ - CONFIG_FILES=Config/defs.mk CONFIG_HEADERS= ./config.status + CONFIG_FILES=Config/defs.mk CONFIG_HEADERS= $(SHELL) ./config.status |