mirror of
https://gitlab.redox-os.org/redox-os/redox.git
synced 2026-11-05 04:06:38 +08:00
Fix push combination not triggering mount
This commit is contained in:
parent
7e122d72fd
commit
c9b6d7893b
15
mk/repo.mk
15
mk/repo.mk
@ -166,24 +166,13 @@ rp.%: $(FSTOOLS_TAG) FORCE
|
|||||||
|
|
||||||
# Invoke clean, repo.sh and push for one of more targets separated by comma
|
# Invoke clean, repo.sh and push for one of more targets separated by comma
|
||||||
crp.%: $(FSTOOLS_TAG) FORCE
|
crp.%: $(FSTOOLS_TAG) FORCE
|
||||||
ifeq ($(PODMAN_BUILD),1)
|
$(MAKE) cr.$*
|
||||||
$(PODMAN_RUN) make $@
|
|
||||||
else
|
|
||||||
$(MAKE) c.$*
|
|
||||||
$(MAKE) r.$*
|
|
||||||
$(MAKE) p.$*
|
$(MAKE) p.$*
|
||||||
endif
|
|
||||||
|
|
||||||
# Invoke unfetch. clean, repo.sh and push for one of more targets separated by comma
|
# Invoke unfetch. clean, repo.sh and push for one of more targets separated by comma
|
||||||
ucrp.%: $(FSTOOLS_TAG) FORCE
|
ucrp.%: $(FSTOOLS_TAG) FORCE
|
||||||
ifeq ($(PODMAN_BUILD),1)
|
$(MAKE) ucr.$*
|
||||||
$(PODMAN_RUN) make $@
|
|
||||||
else
|
|
||||||
$(MAKE) u.$*
|
|
||||||
$(MAKE) c.$*
|
|
||||||
$(MAKE) r.$*
|
|
||||||
$(MAKE) p.$*
|
$(MAKE) p.$*
|
||||||
endif
|
|
||||||
|
|
||||||
export DEBUG_BIN?=
|
export DEBUG_BIN?=
|
||||||
|
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user