------- Comment #3 from joerg dot richter at pdv-fs dot de 2007-06-07 10:03 ------- Well,
$ which sed
/usr/bin/sed
$ /usr/bin/sed -e ''
sed: 0602-429 No editing script was provided.
Usage: sed [-n] Script [File ...]
sed [-n] [-e Script] ... [-f Script_file] ... [File ...]
Can it be that everyone else is using GNU-sed?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31957
