*Reported by anonymous on 2007-01-07 14:44 UTC
The bash script distributed with jflex contains the following line inside the loop that turns a symbolic link to the script into a real path:
[ ${newprg} = ${newprg#/} ] && newprg=${PRG%/*}/${newprg}
If the path to jflex contains a blank, then this line fails with the error message "too many arguments".
What's needed (I believe) is to change this line to
[ "${newprg}" = "${newprg#/}" ] && newprg=${PRG%/*}/${newprg}
A small thing, but it worried me enough to spend the time to track it down to be sure something significant wasn't going on, so I expect it's worth fixing.
-- jcbeatty@uwaterloo.ca
*Reported by anonymous on 2007-01-07 14:44 UTC
The bash script distributed with jflex contains the following line inside the loop that turns a symbolic link to the script into a real path:
[ ${newprg} = ${newprg#/} ] && newprg=${PRG%/*}/${newprg}
If the path to jflex contains a blank, then this line fails with the error message "too many arguments".
What's needed (I believe) is to change this line to
[ "${newprg}" = "${newprg#/}" ] && newprg=${PRG%/*}/${newprg}
A small thing, but it worried me enough to spend the time to track it down to be sure something significant wasn't going on, so I expect it's worth fixing.
-- jcbeatty@uwaterloo.ca