Fix _ninjaopts_from_makeopts to handle -k correctly. Make does not
support parameters to -k, while ninja requires one. Therefore, handle
only a single '-k' and convert it into '-k 0' (no limit of failing
tasks).
set -- ${MAKEOPTS}
while (( $# )); do
case $1 in
- -j|-l|-k)
+ -j|-l)
ninjaopts+=( $1 $2 )
shift 2
;;
- -j*|-l*|-k*)
+ -j*|-l*)
ninjaopts+=( $1 )
shift 1
;;
+ -k)
+ # -k 0 = any number of tasks can fail
+ ninjaopts+=( $1 0 )
+ shift 1
+ ;;
*) shift ;;
esac
done