From 5cd1c39366c507b5c6d0466f7b197ba97c4cbf4c Mon Sep 17 00:00:00 2001
From: Dustin Lang <dstndstn@gmail.com>
Date: Mon, 1 May 2023 11:19:51 -0400
Subject: [PATCH] use $(AWK) rather than just awk

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index c23634d37..999c18b1f 100644
--- 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