aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/patches/ocaml-dose3-dont-make-printconf.patch
blob: 84b6a3b81b48ca87288b44dedfc2c7a726c57759 (plain)
1
2
3
4
5
6
7
8
9
--- a/configure
+++ b/configure
@@ -6552,6 +6552,3 @@ if test -n "$ac_unrecognized_opts" && test "$enable_option_checking" != no; then
   { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: unrecognized options: $ac_unrecognized_opts" >&5
 $as_echo "$as_me: WARNING: unrecognized options: $ac_unrecognized_opts" >&2;}
 fi
-
-
-make printconf