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.

Sign up for GitHub

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

Jump to bottom

[RFC] Move RADOS support to separate repo #9206

Closed
wants to merge 7 commits into from
Closed

[RFC] Move RADOS support to separate repo #9206

Changes from 1 commit
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
260852d
Remove RADOS from CircleCI and CMake
riversand963 Nov 23, 2021
483e4e2
Separate RADOS support from main repo
riversand963 Nov 23, 2021
85ce244
Remove RADOS from Makefile
riversand963 Nov 23, 2021
bec703b
Update PLUGINS.md
riversand963 Nov 23, 2021
d2cb9b2
Update PLUGINS.md
riversand963 Nov 25, 2021
e0f1e7e
Update HISTORY
riversand963 Jan 25, 2022
b0c2b70
Minor
riversand963 Jan 25, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Minor
  • Loading branch information
@riversand963
riversand963 committed Jan 25, 2022
commit b0c2b70cf30bc59c4fe4029f1b216d0e69ccf0e6
2 changes: 1 addition & 1 deletion Makefile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -555,7 +555,7 @@ ifneq ($(filter check-headers, $(MAKECMDGOALS)),)
# TODO: add/support JNI headers
DEV_HEADER_DIRS := $(sort include/ $(dir $(ALL_SOURCES)))
# Some headers like in port/ are platform-specific
DEV_HEADERS := $(shell $(FIND) $(DEV_HEADER_DIRS) -type f -name '*.h' | egrep -v 'port/|plugin/|lua/|range_tree/|')
DEV_HEADERS := $(shell $(FIND) $(DEV_HEADER_DIRS) -type f -name '*.h' | egrep -v 'port/|plugin/|lua/|range_tree/')
else
DEV_HEADERS :=
endif
Expand Down