From d51988a4ace21b1f0a0cdd5c40111875b021a2a0 Mon Sep 17 00:00:00 2001
From: Mark Watkins <jedimark@users.sourceforge.net>
Date: Thu, 10 Jul 2014 14:53:37 +1000
Subject: [PATCH] Track build numbers in git so I can sync them across
 platforms

---
 sleepyhead/build_number.h       |  1 +
 sleepyhead/scripts/build_number |  1 +
 sleepyhead/scripts/inc_build.sh | 17 ++++++++++++-----
 3 files changed, 14 insertions(+), 5 deletions(-)
 create mode 100644 sleepyhead/build_number.h
 create mode 100644 sleepyhead/scripts/build_number

diff --git a/sleepyhead/build_number.h b/sleepyhead/build_number.h
new file mode 100644
index 00000000..4efaa269
--- /dev/null
+++ b/sleepyhead/build_number.h
@@ -0,0 +1 @@
+const int build_number = 1;
diff --git a/sleepyhead/scripts/build_number b/sleepyhead/scripts/build_number
new file mode 100644
index 00000000..d00491fd
--- /dev/null
+++ b/sleepyhead/scripts/build_number
@@ -0,0 +1 @@
+1
diff --git a/sleepyhead/scripts/inc_build.sh b/sleepyhead/scripts/inc_build.sh
index 4c56db98..9f8e6caf 100755
--- a/sleepyhead/scripts/inc_build.sh
+++ b/sleepyhead/scripts/inc_build.sh
@@ -8,6 +8,18 @@ else
 number=0
 fi
 
+if [ ! -f $MY_PATH/../build_number.h ]
+then
+# This is needed to build, so make sure it's available
+    echo "const int build_number = ""$number;" | tee $MY_PATH/../build_number.h
+fi
+
+if [ ! -f "$MY_PATH/ReleaseManager" ]
+then
+# Script only needs running by Release Managers
+	exit;
+fi
+
 if [ "$1" == "release" ]
 then
 	echo "Updating build number"
@@ -16,9 +28,4 @@ then
 	echo "const int build_number = ""$number;" | tee $MY_PATH/../build_number.h
 else
 	echo "Skipping build number update"
-    # But create anyway if it doesn't exist
-	if [ ! -f $MY_PATH/../build_number.h ]
-	then
-        echo "const int build_number = ""$number;" | tee $MY_PATH/../build_number.h
-	fi	
 fi