diff options
Diffstat (limited to 'Help/prop_sf/KEEP_EXTENSION.rst')
| -rw-r--r-- | Help/prop_sf/KEEP_EXTENSION.rst | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Help/prop_sf/KEEP_EXTENSION.rst b/Help/prop_sf/KEEP_EXTENSION.rst new file mode 100644 index 000000000..d6167e5a9 --- /dev/null +++ b/Help/prop_sf/KEEP_EXTENSION.rst @@ -0,0 +1,9 @@ +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. |