Ticket #21180: patch-config-configure.diff

File patch-config-configure.diff, 436 bytes (added by gunnmjk@…, 15 years ago)

  • config/configure

    old new  
    45804580else
    45814581  OCAMLVERSION=`$OCAMLC -v | sed -n -e 's|.*version* *\(.*\)$|\1|p' `
    45824582  case "$OCAMLVERSION" in
    4583     "$REQUIRED_OCAML"*|3.11.0*|3.10.*|3.09.*|3.08.4*|3.08.3*) ;;
     4583    "$REQUIRED_OCAML"*|3.11.*|3.10.*|3.09.*|3.08.4*|3.08.3*) ;;
    45844584    *)
    45854585        echo "Need build"
    45864586        BUILD_OCAML=yes