Skip to content
Snippets Groups Projects
Commit d85f878e authored by Julien Girard-Satabin's avatar Julien Girard-Satabin Committed by Julien Signoles
Browse files

[cmdline] Fixed sequence of -remove-projects and -then options

parent eadf32bb
No related branches found
No related tags found
No related merge requests found
......@@ -1522,7 +1522,9 @@ let _ =
let () =
Cmdline.run_after_configuring_stage
(fun () -> Remove_projects.iter (fun project -> Project.remove ~project ()))
(fun () ->
Remove_projects.iter (fun project -> Project.remove ~project ());
Remove_projects.clear ())
(* ************************************************************************* *)
(** {2 Others options} *)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment