#4: install.info has been made optional, as it fails in different way…

…s on many versions
zsh-users · Aug 1, 2017 · 0c61923 · 0c61923
1 parent 7f27131
commit 0c61923
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -14,7 +14,7 @@ RUN ./Util/preconfig
 RUN ./configure --enable-pcre --enable-cap --without-tcsetpgrp
 RUN make
 RUN make install
-RUN make install.info
+RUN make install.info || true # Issue 4
 
 RUN rm -rf $build_directory