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

Makefile.config: set CR_PLUGIN_DEFAULT variable #2486

Merged
merged 1 commit into from
Sep 26, 2024

Conversation

rst0git
Copy link
Member

@rst0git rst0git commented Sep 26, 2024

By default, CRIU uses the path /usr/lib/criu to install and load plugins at runtime. This path is defined by the PLUGINDIR variable in Makefile.install and CR_PLUGIN_DEFAULT in criu/include/plugin.h. However, some distribution packages might install the CRIU plugins at /usr/lib64/criu instead. This patch updates the makefile to align the path defined by CR_PLUGIN_DEFAULT with the value of PLUGINDIR.

By default, CRIU uses the path "/usr/lib/criu" to install and load
plugins at runtime. This path is defined by the `PLUGINDIR` variable
in Makefile.install and `CR_PLUGIN_DEFAULT` in `criu/include/plugin.h`.
However, some distribution packages might install the CRIU plugins at
"/usr/lib64/criu" instead. This patch updates the makefile to align
the path defined by `CR_PLUGIN_DEFAULT` with the value of `PLUGINDIR`.

Signed-off-by: Radostin Stoyanov <[email protected]>
@avagin avagin merged commit 55c8917 into checkpoint-restore:criu-dev Sep 26, 2024
32 of 40 checks passed
@rst0git rst0git deleted the makefile-plugindir branch September 26, 2024 14:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants