Make sure migrate_driver_main comes last
This commit is contained in:
parent
18e3530c0a
commit
427e8582c0
|
@ -715,7 +715,14 @@ module Gen(P : Params) = struct
|
||||||
else
|
else
|
||||||
Inl lib)
|
Inl lib)
|
||||||
in
|
in
|
||||||
libs @ drivers
|
let user_driver, migrate_driver =
|
||||||
|
List.partition_map drivers ~f:(fun lib ->
|
||||||
|
if Lib.best_name lib = migrate_driver_main then
|
||||||
|
Inr lib
|
||||||
|
else
|
||||||
|
Inl lib)
|
||||||
|
in
|
||||||
|
libs @ user_driver @ migrate_driver
|
||||||
in
|
in
|
||||||
(* Provide a better error for migrate_driver_main given that this is an implicit
|
(* Provide a better error for migrate_driver_main given that this is an implicit
|
||||||
dependency *)
|
dependency *)
|
||||||
|
|
Loading…
Reference in New Issue