Ticket #16989: patch-doltlibtool.diff

File patch-doltlibtool.diff, 328 bytes (added by olaf@…, 16 years ago)
  • doltlibtool

    old new  
    88    case "$arg" in
    99        --mode=compile) modeok=true ;;
    1010        --tag=CC|--tag=CXX) tagok=true ;;
    11         *) args+=("$arg")
     11        *) args=args+"$arg"
    1212    esac
    1313done
    1414if $modeok && $tagok ; then