From 0832d29d492742227b42583525f417ccdcfec0f2 Mon Sep 17 00:00:00 2001
From: Michael Breen <8309342+michael-db@users.noreply.github.com>
Date: Thu, 19 May 2022 12:46:36 +0100
Subject: [PATCH] Fix Makefile error: VERSION did not work with github

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

diff --git a/Makefile b/Makefile
index ab41da5..eb44514 100644
--- a/Makefile
+++ b/Makefile
@@ -6,7 +6,7 @@ test: fr
 fr: fr.c
 	@VERSION="$$(./get-version.sh)"; \
 	echo "Making $@, version=\"$${VERSION}\""; \
-	sed 's@// VERSION@"\\nVersion: '"$${VERSION}"'\\n"@' $^ | \
+	sed 's|// VERSION|"\\nVersion: '"$${VERSION}"'\\n"|' $^ | \
 	cc -o $@ -x c - -Wall -Wextra -std=c99 -pedantic \
 	-Wmissing-prototypes -Wstrict-prototypes -O2 -Wconversion