Re: os-linux/3128: src/Configure script produces garbled module.c file if a module has DOS newlines.

[Alexey N. Solofnenko]

It can be fixed by adding \x0D character in src/Configuration :
1409:sed 's/[ \t]*;[ \r\t]*$//'`
                                ^