diff options
Diffstat (limited to 'docs/dev')
| -rw-r--r-- | docs/dev/pages/abouts/code-verify-system.md | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/docs/dev/pages/abouts/code-verify-system.md b/docs/dev/pages/abouts/code-verify-system.md index 929b337..20da045 100644 --- a/docs/dev/pages/abouts/code-verify-system.md +++ b/docs/dev/pages/abouts/code-verify-system.md @@ -125,8 +125,11 @@ Marks the block as a `build.rs` script instead of `src/main.rs`. The block code ```rust // BUILD TIME -// Features: ["builds", "pathf"] -analyze_and_build_type_mapping().unwrap(); +// Dependencies: +// serde = "1" +fn main() { + // build-time work, e.g. writing generated sources into OUT_DIR +} ``` ### `// Features: [...]` |