[PATCH] makefile: add missing PHONY targets for docker-rhel{7,8,9}

1 view

Skip to first unread message

Antonio Muci

unread,

Mar 23, 2025, 10:41:57 PMMar 23

to thg...@googlegroups.com, a....@inwind.it

# HG changeset patch
# User Antonio Muci <a....@inwind.it>
# Date 1742784088 -3600
# Mon Mar 24 03:41:28 2025 +0100
# Branch stable
# Node ID 2aae74c99c11873d850f77df238efbd8d6ede4cf
# Parent 019aed556f70ee6e4e8138353110019d433c2446
makefile: add missing PHONY targets for docker-rhel{7,8,9}

diff --git a/Makefile b/Makefile
--- a/Makefile
+++ b/Makefile
@@ -84,11 +84,14 @@ distclean: clean
update-pot:
$(PYTHON) setup.py update_pot

+.PHONY: docker-rhel7
docker-rhel7:
$(MAKE) -C contrib/docker build-thg-rpm PLATFORM=rhel7 EXTRA_RPM_OPTS_TOPLEVEL=--arch-dependent

+.PHONY: docker-rhel8
docker-rhel8:
$(MAKE) -C contrib/docker build-thg-rpm PLATFORM=rhel8 EXTRA_RPM_OPTS_TOPLEVEL=--arch-dependent

+.PHONY: docker-rhel9
docker-rhel9:
$(MAKE) -C contrib/docker build-thg-rpm PLATFORM=rhel9 EXTRA_RPM_OPTS_TOPLEVEL=--arch-dependent

Yuya Nishihara

unread,

Mar 24, 2025, 8:17:26 AMMar 24

to 'Antonio Muci' via TortoiseHg Developers, a....@inwind.it

On Mon, 24 Mar 2025 03:41:53 +0100, 'Antonio Muci' via TortoiseHg
Developers wrote:
> # HG changeset patch
> # User Antonio Muci <a....@inwind.it>
> # Date 1742784088 -3600
> # Mon Mar 24 03:41:28 2025 +0100
> # Branch stable
> # Node ID 2aae74c99c11873d850f77df238efbd8d6ede4cf
> # Parent 019aed556f70ee6e4e8138353110019d433c2446
> makefile: add missing PHONY targets for docker-rhel{7,8,9}