2014-08-03 19:52:23 +02:00
|
|
|
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
|
2019-11-11 23:01:05 +01:00
|
|
|
example ``.cxx`` will go to a ``.o`` extension.
|
