[ros-diffs] [pschweitzer] 59457: [CONFIGURE.SH] Kill bashisms introduced by r59197 and replace them by sh code. This is mainly to preserve maximum portability of the code, and to fix configure.sh on platforms ...