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

[Stefan Teodorescu <stefanl.teodorescu@xxxxxxxxx>]

Reviewed-by: Stefan Teodorescu <stefanl.teodorescu@xxxxxxxxx>

On Sun, Nov 10, 2019 at 4:47 PM Costin Lupu <costin.lup@xxxxxxxxx> wrote:
>
> 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

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