From 7848d751c515accec05dc3b4cdd1ab358b37f1d7 Mon Sep 17 00:00:00 2001
From: Philippe Teuwen <phil@teuwen.org>
Date: Thu, 21 May 2020 12:05:15 +0200
Subject: [PATCH] make release: hardcode default version

---
 Makefile | 14 +++++++++++---
 1 file changed, 11 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 71d61f091..8f92c4152 100644
--- a/Makefile
+++ b/Makefile
@@ -256,11 +256,19 @@ endif
 	# - Changing banner...
 	@sed -i "s/^#define BANNERMSG3 .*/#define BANNERMSG3 \"Release $(VERSION) - $(RELEASE_NAME)\"/" client/src/proxmark3.c
 	@echo -n "#   ";grep "^#define BANNERMSG3" client/src/proxmark3.c
-	# - Committing...
+	# - Committing temporarily...
 	@git commit -a -m "Release $(VERSION) - $(RELEASE_NAME)"
-	# - Tagging...
+	# - Tagging temporarily...
 	@git tag -a -m "Release $(VERSION) - $(RELEASE_NAME)" $(VERSION)
-	# - Reverting...
+	# - Changing default version information based on new tag
+	@$(SH) tools/mkversion.sh --undecided > common/default_version.c.tmp && $(MV) common/default_version.c.tmp common/default_version.c
+	# - Deleting tag...
+	@git tag -d $(VERSION)
+	# - Amending commit...
+	@git commit -a --amend -m "Release $(VERSION) - $(RELEASE_NAME)"
+	# - Tagging again...
+	@git tag -a -m "Release $(VERSION) - $(RELEASE_NAME)" $(VERSION)
+	# - Reverting tagged commit...
 	@git revert --no-edit HEAD
 
 # Dummy target to test for GNU make availability