diff --git a/scripts/mk_util.py b/scripts/mk_util.py index 005c90ecb..5405f7f2d 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -2012,9 +2012,6 @@ class MLComponent(Component): if self.destdir == "": raise MKException('Failed to get OCaml destdir') - if not os.path.isdir(self.destdir): - raise MKException('The destdir reported by {ocamlfind} ({destdir}) does not exist'.format(ocamlfind=OCAMLFIND, destdir=self.destdir)) - self.ldconf = check_output([OCAMLFIND, 'printconf', 'ldconf']) if self.ldconf == "": raise MKException('Failed to get OCaml ldconf path')