diff options
Diffstat (limited to 'doc/tutorial/proto.md')
| -rw-r--r-- | doc/tutorial/proto.md | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/doc/tutorial/proto.md b/doc/tutorial/proto.md index 1eac9c13..62e084f7 100644 --- a/doc/tutorial/proto.md +++ b/doc/tutorial/proto.md @@ -560,11 +560,7 @@ in the chapter on [*Debugging*](./hello-world.md)). , "list_people debug": { "type": "configure" , "target": "list_people" - , "config": - { "type": "let*" - , "bindings": [["DEBUG", true]] - , "body": {"type": "env", "vars": ["DEBUG"]} - } + , "config": {"type": "'", "$1": {"DEBUG": {"USE_DEBUG_FISSION": false}}} } , "list_people debug staged": { "type": ["@", "rules", "CC", "install-with-deps"] |