From d971d9306660905d7237a5fa8511f06f66c5b450 Mon Sep 17 00:00:00 2001 From: Petr Makhnev <51853996+i582@users.noreply.github.com> Date: Sat, 18 Feb 2023 22:55:10 +0400 Subject: [PATCH] vccheck-md: add play and play-test command (#17350) --- cmd/tools/vcheck-md.v | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/cmd/tools/vcheck-md.v b/cmd/tools/vcheck-md.v index 539fc6a3f8..8d8d45e2c4 100644 --- a/cmd/tools/vcheck-md.v +++ b/cmd/tools/vcheck-md.v @@ -598,6 +598,10 @@ fn (mut f MDFile) check_examples() CheckResult { oks++ } 'nofmt' {} + // mark the example as playable inside docs + 'play' {} + // same as play, but run example as a test + 'play-test' {} else { eprintln(eline(f.path, e.sline, 0, 'unrecognized command: "${command}", use one of: wip/ignore/compile/failcompile/okfmt/nofmt/oksyntax/badsyntax/cgen/globals/live/shared')) should_cleanup_vfile = false