summaryrefslogtreecommitdiffstats
path: root/Help/prop_sf/KEEP_EXTENSION.rst
diff options
context:
space:
mode:
Diffstat (limited to 'Help/prop_sf/KEEP_EXTENSION.rst')
-rw-r--r--Help/prop_sf/KEEP_EXTENSION.rst9
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 0000000..d6167e5
--- /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.