diff options
| -rw-r--r-- | libraries/ocaml-findlib/doinst.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/libraries/ocaml-findlib/doinst.sh b/libraries/ocaml-findlib/doinst.sh index e0013668ff06..842fcab2f78d 100644 --- a/libraries/ocaml-findlib/doinst.sh +++ b/libraries/ocaml-findlib/doinst.sh @@ -10,8 +10,8 @@ config() { } config etc/findlib.conf -destdir=$(ocamlfind printconf destdir)/stublibs -ldconf=$(ocamlfind printconf ldconf) -if ! grep -q $destdir $ldconf; then - echo $destdir >> $ldconf +destdir=$(chroot . /usr/bin/ocamlfind printconf destdir)/stublibs +ldconf=$(chroot . /usr/bin/ocamlfind printconf ldconf) +if ! grep -q -s "${destdir##/}" "$ldconf"; then + echo "$destdir" >> "${ldconf##/}" fi |