diff --git a/make/topdir.mk b/make/topdir.mk index 22e8f691..3e19381e 100644 --- a/make/topdir.mk +++ b/make/topdir.mk @@ -140,7 +140,7 @@ streamline: $(STREAMLINE_PROJECT) $(GIT_DESCR): $(PROJECT_DESCR_FILE) - $(MOD_SCRIPT_DIR)/ini-section.sh summary $< | tee $@.tmp + /bin/bash $(MOD_SCRIPT_DIR)/ini-section.sh summary $< | tee $@.tmp mv $@.tmp $@ git-init.done: