From 497cc27003dfe0b469e6b1598a426b336f07a128 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Fri, 19 Jun 2015 01:14:28 +0100
Subject: [PATCH] git versioning

---
 GitSHA1.c.in      | 2 ++
 include/GitSHA1.h | 1 +
 2 files changed, 3 insertions(+)
 create mode 100644 GitSHA1.c.in
 create mode 100644 include/GitSHA1.h

diff --git a/GitSHA1.c.in b/GitSHA1.c.in
new file mode 100644
index 000000000..6dfd0c74b
--- /dev/null
+++ b/GitSHA1.c.in
@@ -0,0 +1,2 @@
+#define GIT_SHA1 "@GIT_SHA1@"
+const char g_GIT_SHA1[] = GIT_SHA1;
diff --git a/include/GitSHA1.h b/include/GitSHA1.h
new file mode 100644
index 000000000..8e02c575f
--- /dev/null
+++ b/include/GitSHA1.h
@@ -0,0 +1 @@
+extern const char g_GIT_SHA1[];