diff options
author | Michael Orlitzky <michael@orlitzky.com> | 2023-09-18 10:24:38 -0400 |
---|---|---|
committer | Michael Drake <tlsa@netsurf-browser.org> | 2023-09-18 18:37:46 +0100 |
commit | 5a1cc92ccead685d464b99723eac795885366955 (patch) | |
tree | 90c03a4d306681b810794b505be05da4192c172a | |
parent | e1996b60f4568abdae96989b1af3c64f05073def (diff) | |
download | libcss-5a1cc92ccead685d464b99723eac795885366955.tar.gz libcss-5a1cc92ccead685d464b99723eac795885366955.tar.bz2 |
src/select/Makefile: the select_generator target is PHONY
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.
-rw-r--r-- | src/select/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/select/Makefile b/src/select/Makefile index b9e7390..e237d46 100644 --- a/src/select/Makefile +++ b/src/select/Makefile @@ -1,4 +1,5 @@ # Sources +.PHONY: select_generator select_generator: python3 src/select/select_generator.py |