File tree Expand file tree Collapse file tree 1 file changed +3
-1
lines changed Expand file tree Collapse file tree 1 file changed +3
-1
lines changed Original file line number Diff line number Diff line change @@ -122,6 +122,7 @@ Execution hints can be provided anywhere on the command line
122122 |> List.filter( fun x ->
123123 x <> " skiptests" &&
124124 x <> " gendocs" &&
125+ x <> " skipdocs" &&
125126 x <> " non-interactive" &&
126127 not ( x.StartsWith( " seed:" )) &&
127128 not ( x.StartsWith( " random:" )) &&
@@ -132,11 +133,12 @@ Execution hints can be provided anywhere on the command line
132133 | Some t -> t.Replace( " -one" , " " )
133134 | _ -> " build"
134135 let skipTests = args |> List.exists ( fun x -> x = " skiptests" )
136+ let skipDocs = args |> List.exists ( fun x -> x = " skipdocs" )
135137
136138 let parsed = {
137139 NonInteractive = args |> List.exists ( fun x -> x = " non-interactive" )
138140 SkipTests = skipTests
139- GenDocs = ( args |> List.exists ( fun x -> x = " gendocs" ) || target = " build" )
141+ GenDocs = not skipDocs && ( args |> List.exists ( fun x -> x = " gendocs" ) || target = " build" )
140142 Seed =
141143 match args |> List.tryFind ( fun x -> x.StartsWith( " seed:" )) with
142144 | Some t -> t.Replace( " seed:" , " " )
You can’t perform that action at this time.
0 commit comments