From 369dc3a107f19b43a3a7dc9efbd7fb03ee574eeb Mon Sep 17 00:00:00 2001
From: Peter Stephenson <p.w.stephenson@ntlworld.com>
Date: Tue, 9 Apr 2013 20:21:57 +0100
Subject: 31246: make a separate patch level header for releases

---
 Src/zsh.mdd | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'Src')

diff --git a/Src/zsh.mdd b/Src/zsh.mdd
index 420e8fc1d..0fec5c363 100644
--- a/Src/zsh.mdd
+++ b/Src/zsh.mdd
@@ -40,8 +40,12 @@ version.h: $(sdir_top)/Config/version.mk zshcurses.h zshterm.h
 	echo '#define ZSH_VERSION "'$(VERSION)'"' > $@
 
 patchlevel.h: FORCE
-	echo '#define ZSH_PATCHLEVEL "'`git describe --tags --long`'"' > $@.tmp
-	cmp $@ $@.tmp && rm -f $@.tmp || mv $@.tmp $@
+	@if [ -f $(sdir)/$@.release ]; then \
+	  cp -f $(sdir)/$@.release $@; \
+	else \
+	  echo '#define ZSH_PATCHLEVEL "'`git describe --tags --long`'"' > $@.tmp; \
+	  cmp $@ $@.tmp && rm -f $@.tmp || mv $@.tmp $@; \
+	fi
 FORCE:
 
 zshcurses.h: ../config.h
-- 
cgit 1.4.1