Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

For additional compatibility this adds REDIS_CFLAGS and REDIS_LDFLAGS support to MAKEFILE #66

Merged
merged 2 commits into from
Mar 30, 2024

Conversation

roshkhatri
Copy link
Member

This resolves (1.viii) from #43

REDIS_FLAGS will be updated to SERVER_FLAGS. Maybe we should also allow REDIS_FLAGS -> SERVER_FLAGS as well, for an extra layer of compatibility.

Signed-off-by: Roshan Khatri <rvkhatri@amazon.com>
@roshkhatri roshkhatri changed the title added compatibility REDIS_CFLAGS and REDIS_LDFLAGS For additional compatibility this adds REDIS_CFLAGS and REDIS_LDFLAGS support to MAKEFILE Mar 28, 2024
src/Makefile Show resolved Hide resolved
Signed-off-by: Roshan Khatri <rvkhatri@amazon.com>
@roshkhatri roshkhatri requested a review from PingXie March 29, 2024 20:56
@zuiderkwast zuiderkwast merged commit 3ab066f into valkey-io:unstable Mar 30, 2024
14 checks passed
@roshkhatri
Copy link
Member Author

Thankyou @zuiderkwast

@PingXie PingXie added the rebranding Valkey is not Redis label Mar 31, 2024
gaod pushed a commit to gaod/valkey that referenced this pull request Apr 2, 2024
… support to MAKEFILE (valkey-io#66)

This resolves (1.viii) from
valkey-io#43
> REDIS_FLAGS will be updated to SERVER_FLAGS. Maybe we should also
allow REDIS_FLAGS -> SERVER_FLAGS as well, for an extra layer of
compatibility.

---------

Signed-off-by: Roshan Khatri <rvkhatri@amazon.com>
madolson pushed a commit to madolson/valkey that referenced this pull request Apr 7, 2024
… support to MAKEFILE (valkey-io#66)

This resolves (1.viii) from
valkey-io#43
> REDIS_FLAGS will be updated to SERVER_FLAGS. Maybe we should also
allow REDIS_FLAGS -> SERVER_FLAGS as well, for an extra layer of
compatibility.

---------

Signed-off-by: Roshan Khatri <rvkhatri@amazon.com>
PatrickJS pushed a commit to PatrickJS/placeholderkv that referenced this pull request Apr 24, 2024
… support to MAKEFILE (valkey-io#66)

This resolves (1.viii) from
valkey-io#43
> REDIS_FLAGS will be updated to SERVER_FLAGS. Maybe we should also
allow REDIS_FLAGS -> SERVER_FLAGS as well, for an extra layer of
compatibility.

---------

Signed-off-by: Roshan Khatri <rvkhatri@amazon.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
rebranding Valkey is not Redis
Projects
Status: Backported
Development

Successfully merging this pull request may close these issues.

5 participants