Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
fix: build script should not write outside of OUT_DIR (#939)
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 <[email protected]>
- Loading branch information