[Minios-devel] [UNIKRAFT/REDIS PATCH 3/4] Add <release.h> header

[Costin Lupu <costin.lup@xxxxxxxxx>]

This is copied from a Linux build.

Signed-off-by: Costin Lupu <costin.lupu@xxxxxxxxx>
---
 include/release.h | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 include/release.h

diff --git a/include/release.h b/include/release.h
new file mode 100644
index 0000000..a24441a
--- /dev/null
+++ b/include/release.h
@@ -0,0 +1,3 @@
+#define REDIS_GIT_SHA1 "c5ee3442"
+#define REDIS_GIT_DIRTY "86"
+#define REDIS_BUILD_ID "ukhost-1572605508"
-- 
2.20.1


_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/minios-devel