diff --git a/GIT_VERSION b/GIT_VERSION
new file mode 100644
index 0000000000000000000000000000000000000000..6002f22fa25c9e2fcd8f2467681ebd2aa29cb3c6
--- /dev/null
+++ b/GIT_VERSION
@@ -0,0 +1 @@
+$Format:%h$
\ No newline at end of file