use $(AWK) rather than just awk

dstndstn · May 1, 2023 · 5cd1c39 · 5cd1c39
1 parent 4dfeab6
commit 5cd1c39
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -60,7 +60,7 @@ all: subdirs version
 .PHONY: all
 
 version:
-	echo $(AN_GIT_REVISION) | awk -F - '{printf "__version__ = \""; if (NF>2) {printf $$1".dev"$$2} else {printf $$1}; print "\""}' > __init__.py
+	echo $(AN_GIT_REVISION) | $(AWK) -F - '{printf "__version__ = \""; if (NF>2) {printf $$1".dev"$$2} else {printf $$1}; print "\""}' > __init__.py
 .PHONY: version
 
 check: pkgconfig