diff options
Diffstat (limited to 'dev-ml/parmap/files/parmap-1.0_rc6-fix-bashisms.patch')
-rw-r--r-- | dev-ml/parmap/files/parmap-1.0_rc6-fix-bashisms.patch | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/dev-ml/parmap/files/parmap-1.0_rc6-fix-bashisms.patch b/dev-ml/parmap/files/parmap-1.0_rc6-fix-bashisms.patch new file mode 100644 index 00000000000..96a656239b6 --- /dev/null +++ b/dev-ml/parmap/files/parmap-1.0_rc6-fix-bashisms.patch @@ -0,0 +1,16 @@ +Author: RĂ©mi Cardona +https://bugs.gentoo.org/show_bug.cgi?id=553596 +https://github.com/rdicosmo/parmap/pull/36 + +--- configure.ac 2015-07-03 23:59:19.361723234 +0200 ++++ configure.ac 2015-07-03 23:59:48.161216749 +0200 +@@ -27,7 +27,7 @@ + AC_CONFIG_HEADERS([config.h]) + +-t=`$OCAMLBUILD -use-ocamlfind &> /dev/null; echo $?` +-if test $t == 0 ; then ++t=`$OCAMLBUILD -use-ocamlfind > /dev/null 2>&1 ; echo $?` ++if test "$t" = 0 ; then + AC_MSG_RESULT(ocaml version $OCAMLVERSION. Use standard Makefile) + AC_CONFIG_FILES([Makefile]) + AC_OUTPUT |