| 123456789 |
- KEEP_EXTENSION
- --------------
- Make the output file have the same extension as the source file.
- If this property is set then the file extension of the output file
- will be the same as that of the source file. Normally the output file
- extension is computed based on the language of the source file, for
- example .cxx will go to a .o extension.
|
