Skip to content
New issue

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

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

Already on GitHub? # to your account

fix: build script should not write outside of OUT_DIR #939

Merged
merged 1 commit into from
Apr 16, 2024

Conversation

J-Loudet
Copy link
Contributor

See #885

Instead of writing out the result of the parsing of the schema, after this change the build of the plugins will simply fail.

  • plugins/zenoh-plugin-rest/build.rs:
    • don't write out the result of the parsing of the schema in zenoh-plugin-rest/config_schema.json5,
    • if the schema does not match the default config.json5, panic.
  • plugins/zenoh-plugin-storage-manager/build.rs:
    • don't write out the result of the parsing of the schema in zenoh-plugin-storage-manager/config_schema.json5,
    • if the schema does not match the default config.json5, panic.

See #885

Instead of writing out the result of the parsing of the schema, after
this change the build of the plugins will simply fail.

* plugins/zenoh-plugin-rest/build.rs:
  - don't write out the result of the parsing of the schema in
    zenoh-plugin-rest/config_schema.json5,
  - if the schema does not match the default config.json5, panic.
* plugins/zenoh-plugin-storage-manager/build.rs:
  - don't write out the result of the parsing of the schema in
    zenoh-plugin-storage-manager/config_schema.json5,
  - if the schema does not match the default config.json5, panic.

Signed-off-by: Julien Loudet <julien.loudet@zettascale.tech>
Copy link
Member

@fuzzypixelz fuzzypixelz left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM.

@Mallets Mallets merged commit 3537ee6 into main Apr 16, 2024
19 checks passed
@Mallets Mallets deleted the fix/build-script branch April 16, 2024 14:53
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants