aboutsummaryrefslogtreecommitdiff
path: root/docs/dev/pages/abouts/code-verify-system.md
diff options
context:
space:
mode:
Diffstat (limited to 'docs/dev/pages/abouts/code-verify-system.md')
-rw-r--r--docs/dev/pages/abouts/code-verify-system.md7
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: [...]`