From ededece3f774aadde25c48b33917795d83c8e30b Mon Sep 17 00:00:00 2001
From: Matthias Beyer <mail@beyermatthias.de>
Date: Wed, 11 Apr 2018 18:14:20 +0200
Subject: [PATCH] Add script for CI check if version is updated

---
 scripts/version-updated | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 scripts/version-updated

diff --git a/scripts/version-updated b/scripts/version-updated
new file mode 100644
index 00000000..f6f9bfd4
--- /dev/null
+++ b/scripts/version-updated
@@ -0,0 +1,12 @@
+#!/usr/bin/env bash
+
+# Script has to be executed from the repository root directory.
+
+version=$(grep version bin/core/imag/Cargo.toml | head -n 1 | sed 's,.*=\ ",,; s,"$,,')
+
+grep "String::from(\"${version}\")" lib/core/libimagrt/src/version.rs 2>/dev/null >/dev/null || \
+{
+    >&2 echo "No/incorrect version in lib/core/libimagrt/src/version.rs"
+    exit 1
+}
+