Re: [PATCH] src/select/Makefile: the select_generator target is PHONY

2023-09-18 Thread Michael Drake
On Mon, 18 Sept 2023 at 15:25, Michael Orlitzky wrote: > +.PHONY: select_generator Applied, thanks! ___ netsurf-dev mailing list -- netsurf-dev@netsurf-browser.org To unsubscribe send an email to netsurf-dev-le...@netsurf-browser.org

[PATCH] src/select/Makefile: the select_generator target is PHONY

2023-09-18 Thread Michael Orlitzky
This target doesn't create an object named "select_generator", so it can be marked .PHONY to improve performance slightly and to avoid a conflict with files/directories of the same name. --- src/select/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/src/select/Makefile b/src/select/Ma