diff options
author | David Spencer <idlemoor@slackbuilds.org> | 2016-01-18 00:52:52 +0000 |
---|---|---|
committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2016-01-18 18:50:26 +0700 |
commit | 2ccb7ba626a496fe1c3b67979827a59c22256033 (patch) | |
tree | 874b269df274bf3767f763344bf9903275a49153 /libraries/ocaml-findlib | |
parent | c44f0fd7581907fa050d90330dba87715c9a93ac (diff) |
libraries/ocaml-findlib: Fixed doinst.sh.
Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
Diffstat (limited to 'libraries/ocaml-findlib')
-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 e0013668ff066..842fcab2f78d5 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 |