diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configure b/configure index 9129fc0e19e..a3291725703 100755 --- a/configure +++ b/configure @@ -740,6 +740,7 @@ do make_dir $h/test/doc-tutorial-macros make_dir $h/test/doc-tutorial-borrowed-ptr make_dir $h/test/doc-tutorial-tasks + make_dir $h/test/doc-tutorial-conditions make_dir $h/test/doc-rust done |