Ticket #16989: patch-doltlibtool.diff
File patch-doltlibtool.diff, 328 bytes (added by olaf@…, 16 years ago) |
---|
-
doltlibtool
old new 8 8 case "$arg" in 9 9 --mode=compile) modeok=true ;; 10 10 --tag=CC|--tag=CXX) tagok=true ;; 11 *) args +=("$arg")11 *) args=args+"$arg" 12 12 esac 13 13 done 14 14 if $modeok && $tagok ; then