Commit fd151257 authored by Andrei Paskevich's avatar Andrei Paskevich
Browse files

make -M option work with --realize (thanks François)

parent 9e477cec
......@@ -485,7 +485,7 @@ let do_theory env drv fname tname th glist =
exit 1
end else begin
let drv = Opt.get drv in
let task = Task.use_export None th in
let task = Task.use_export !opt_task th in
do_tasks env drv fname tname th task
else begin
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment