diff options
Diffstat (limited to 'pkgs/development/tools/ocaml/js_of_ocaml/Makefile.conf.diff')
| -rw-r--r-- | pkgs/development/tools/ocaml/js_of_ocaml/Makefile.conf.diff | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/pkgs/development/tools/ocaml/js_of_ocaml/Makefile.conf.diff b/pkgs/development/tools/ocaml/js_of_ocaml/Makefile.conf.diff index 0e3f55df6d2..e6fc96038ff 100644 --- a/pkgs/development/tools/ocaml/js_of_ocaml/Makefile.conf.diff +++ b/pkgs/development/tools/ocaml/js_of_ocaml/Makefile.conf.diff @@ -8,14 +8,3 @@ #### ---- old/Makefile 2014-09-30 16:40:37.000000000 +0200 -+++ new/Makefile 2015-10-14 10:28:41.366815864 +0200 -@@ -52,7 +52,7 @@ - install-bin: - install -d -m 755 $(BINDIR) - install $(BIN) $(BINDIR) -- install $(TOOLS) $(BINDIR) -+ install $(TOOLS) $(BINDIR) || true - - uninstall: uninstall-lib uninstall-bin - |