mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-08-25 07:08:13 -07:00
c5a506d62e
Package-Manager: Portage-2.3.79, Repoman-2.3.16 Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
14 lines
595 B
Diff
14 lines
595 B
Diff
Index: camlp4-4.08-1/camlp4/Camlp4/Struct/DynLoader.ml
|
|
===================================================================
|
|
--- camlp4-4.08-1.orig/camlp4/Camlp4/Struct/DynLoader.ml
|
|
+++ camlp4-4.08-1/camlp4/Camlp4/Struct/DynLoader.ml
|
|
@@ -76,7 +76,7 @@ value load =
|
|
[ Not_found -> raise (Error file "file not found in path") ]
|
|
in
|
|
try Dynlink.loadfile fname with
|
|
- [ Dynlink.Error e -> raise (Error fname (Dynlink.error_message e)) ]
|
|
+ [ Dynlink.Error (Module_already_loaded _ ) -> () | Dynlink.Error e -> raise (Error fname (Dynlink.error_message e)) ]
|
|
};
|
|
|
|
|