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.
Generated by dwww version 1.15 on Fri Jun 28 23:35:51 CEST 2024.